These are my notes for Type Driven Development with Idris and the half-English babble probably only really makes sense to me.
Please, if you're interested in this stuff buy Edwin Brady's book.
These are my notes for Type Driven Development with Idris and the half-English babble probably only really makes sense to me.
Please, if you're interested in this stuff buy Edwin Brady's book.