3 ms·

Type-Driven Development with Idris. It’s a great introduction to dependently typed programming languages and type-driven development. Some knowledge of Haskell

by 74ls00 7y ago

Type-Driven Development with Idris. It’s a great introduction to dependently typed programming languages and type-driven development. Some knowledge of Haskell may be beneficial but isn’t required.