diff --git a/examples/fib.modal b/examples/fib.modal new file mode 100644 index 0000000..e422a49 --- /dev/null +++ b/examples/fib.modal @@ -0,0 +1,6 @@ +<> (`?: ?0 ?1) ((Int ?:)) +<> (fib ?n) (?n (Int 0) (Int 1) Fib) +<> ((Int 0) (Int ?0) (Int ?1) Fib) ?0 +<> ((Int ?x) (Int ?y) (Int ?z) Fib) (`- ?x 1 (Int ?z) `+ ?z ?y Fib) + +fib (Int 11) \ No newline at end of file