From 3caa95a139538bb07c74847ca3aba2603a03c502 Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Fri, 15 Nov 2024 15:44:30 +0000 Subject: Add compilation to scheme. Extract parser as an independent project. --- program/exp.pty | 1 + 1 file changed, 1 insertion(+) create mode 100644 program/exp.pty (limited to 'program/exp.pty') diff --git a/program/exp.pty b/program/exp.pty new file mode 100644 index 0000000..9e7f5e3 --- /dev/null +++ b/program/exp.pty @@ -0,0 +1 @@ +Nat -> Nat -> Nat -- cgit v1.2.3