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.
-
Notifications
You must be signed in to change notification settings - Fork 0
Some code samples from the book "The Little Typer"
License
ebresafegaga/littletyper
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Some code samples from the book "The Little Typer"
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published