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