the-little-typer

There are 0 repository under the-little-typer topic.

paulcadman / the-little-typer
Resources for "The Little Typer" study group
dependent-types racket study-group the-little-typer type-driven-development
Language:Racket 47
MikeMKH / the-little-typer
Daily kata from the Little Typer
kata racket the-little-typer
Language:Racket 13
rbonvall / exercises
Examples and exercises from books I read.
advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2021 functional-programming-in-scala tapl the-little-schemer the-little-typer the-reasoned-schemer
Language:Scala 2
chansey97 / the-little-typer
Valuable code and experiments about the book "The Little Typer"
the-little-typer dependent-types
Language:Racket