- Doc on inductive types aimed at general working programmer audience [feedback appreciated] https://gist.github.com/chrisdone/4494c3a7a5a1417d44f43c83ef2c01e6 3 comments programming
Linked pages
Related searches:
Search whole site: site:gist.github.com
Search title: Basic inductive types (type theory) · GitHub
See how to search.