dependently typed programming language with timeless referential transparently
programming-language dependent-types referentially-transparent partial-evaluators specialization incremental-compilation immutable-store
-
Updated
Aug 28, 2019 - Haskell