Random code sample from the book "The Little Typer" by Daniel P. Friedman and David Thrane Christiansen. I wrote these while reading it and learning about dependent types.
Some code samples from the book "The Little Typer"
Random code sample from the book "The Little Typer" by Daniel P. Friedman and David Thrane Christiansen. I wrote these while reading it and learning about dependent types.
Some code samples from the book "The Little Typer"
MIT License