GitHub repository: owo-lang/narc-rs
Primary language: Rust
Created: 2019-09-04T04:38:35Z
Description: (WIP) Dependently-typed programming language with Agda style dependent pattern matching