Utvalda
Jämför webbutiker (2)
Idris for Beginners: How to Explore Dependent Types and Functional Programming
Independently Published
Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale
Haskell for Beginners: How to Understand Pure Functional Programming with Strong Types
Tillbaka till toppen