rpeszek/IdrisTddNotes rpeszek/IdrisTddNotes

  • Stars
    star
    47
  • Rank 604,252 (Top 12 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rpeszek/IdrisTddNotes
github

rpeszek

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

More Repositories

1

notes-milewski-ctfp-hs

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
Haskell
32
star
2

fpiglet

FUNctional Programming in Groovy. Adds to Groovy: Implicitly Curried Functions, Monads, Applicative, Functors and more ... This project was moved from:
Groovy
14
star
3

typed-encoding

Type safe string restrictions and transformations
Haskell
6
star
4

rpeszek.github.io

HTML
5
star
5

ts-experiments

Experiments in TypeScript
TypeScript
4
star
6

crud-ex-frontend-elm

Elm frontend for my polyglot CRUD project
Elm
3
star
7

typesafe-web-polyglot

Examples, templates of typesafe, functional web apps
3
star
8

my-blogs

CSS
2
star
9

experiments

Haskell
2
star
10

IdrisTddScalaNotes

Scala version of my Haskell/Idris IdrisTddNotes project
Scala
2
star
11

eta-misc-test

Various checks and tests of eta and eta-hackage mostly to report issues
Haskell
1
star
12

crud-ex-backent-http4s

Scala https4s polymorphic CRUD backend for my polyglot project
Scala
1
star
13

idris-chain

Dependently typed blockchain experiments in Idris
Idris
1
star
14

typed-encoding-encoding

Bridge between `encoding` and `typed-encoding` package
Haskell
1
star
15

elm-double-navigate

Demonstrates Issue in Elm where onClick navigation triggers twice if button is inside a form
Elm
1
star
16

dag-check

Conceptual code for property testing of DAG graphs used for my work
Haskell
1
star