nar 0.0.8

Narc, a dependently-typed programming language with dependent pattern matching
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//
// Created by Dependently-Typed Lambda Calculus on 2019-11-26
// data-and-cons
// Author: ice10
//

data Nat {
  constructor Zero;
  constructor Succ Nat;
};

definition One : Nat;
clause One = Succ Zero;

definition Two : Nat;
clause Two = Succ One;