GitHub repository: Ikepeeee/nabla
Primary language: Haskell
Created: 2019-08-31T08:57:41Z
Description: nabla is functional programming language that is equipped predicate logic in type system. (early development)