Pinned Loading

1. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

2. implement-functional-core implement-functional-core Public

   Working through "Implementing Functional Languages: a tutorial"

   Haskell