jonmsterling.com / project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant
Star
Fork 3
Watch
Open Merged Closed
New
Make Utils.UBool.Bool an abstract type #3myts46a4tb22
Open jonmsterling.com
· · 0 comments
First draft of main #3mxydqccw3y22
Open ericm.tngl.sh
· · 1 comment
Added instances for Applicative, Alternative and Monad to type List #3mvscvx46cy22
Open ericm.tngl.sh
· · 1 comment