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