We have no idea what we are doing. By the end of the year we will have corrected that problem.
"Type Driven Development" https://www.manning.com/books/type-driven-development-with-idris
Hi! Look in /01
-
Notifications
You must be signed in to change notification settings - Fork 0
NashFP/idris-school
About
Materials for NashFP's monthly learning Idris sessions
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published