project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant
Star 19
Fork 3
Watch
Open Merged Closed
New
Make Utils.UBool.Bool an abstract type #18
Closed jonmsterling.com
· · 1 comment
First draft of main #17
Closed jonmsterling.com
· · 1 comment
Added instances for Applicative, Alternative and Monad to type List #16
Closed jonmsterling.com
· · 1 comment