Crate nar

Narc is a dependently-typed programming language with Agda style dependent pattern matching.

Goal

The purpose of this language is to realize the elaboration algorithm described in this paper.

About the name, Narc

This name is inspired from a friend whose username is Narc (or lwoo1999 on CodeWars and GitHub).

Modules

syntax

Core language, abstract syntax, surface syntax, and the parser.