Commit Graph

3 Commits (main)

Author SHA1 Message Date
Leni Aniva 86dc7f289e
Add IO monad example 2024-03-10 08:47:25 -07:00
Leni Aniva 01a51b4e08
Add structure and inductive examples 2024-03-07 21:37:37 -08:00
Leni Aniva b53d26b7ec
Stub 2024-03-04 21:08:55 -08:00