GitHub repository: zielinsky/neon
Primary language: OCaml
Created: 2024-01-10T13:16:52Z
Description: Neon is an experimental programming language with dependent types, implementing Calculus of Constructions (CoC).