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