(WIP) Dependently-typed programming language with Agda style dependent pattern matching
The first version that can actually be used somehow. Narc can type-check definitions by non-splitting pattern matchings.
Type-checking data types & constructors & type signatures, WIP clause checking (LHS checking). Narc is still not ready yet.