-*- mode: compilation; default-directory: "~/Learning/Beluga/examples/" -*-
Compilation started at Thu Jul 24 16:22:51

/Users/agmu/Lib/beluga-0.7-20140602/bin/beluga /Users/agmu/Learning/Beluga/examples/nat.bel
sed: option requires an argument -- e
usage: sed script [-Ealn] [-i extension] [file ...]
       sed [-Ealn] [-i extension] [-e script] ... [-f script_file] ... [file ...]

## Type Reconstruction: /Users/agmu/Learning/Beluga/examples/nat.bel ##

rec add : [ |- nat] -> [ |- nat] -> [ |- nat] =
fn x => fn y =>
  case x of
  | [[ |- z]  :  ]   =>
     y

  | {N :: [ |- nat]}
    [[ |- succ (N )]  :  ]   =>
      (case add ([ |- N ]) y of
       | {N :: [ |- nat]}  {R :: [ |- nat]}
         [[ |- R ]  :  |- N = N ]   =>
          [ |- succ (R )] : [ |- nat]
       )


## Type Reconstruction done: /Users/agmu/Learning/Beluga/examples/nat.bel  ##



Compilation finished at Thu Jul 24 16:22:51