diff options
Diffstat (limited to 'examples/alpha_equiv.makkai')
| -rw-r--r-- | examples/alpha_equiv.makkai | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/examples/alpha_equiv.makkai b/examples/alpha_equiv.makkai deleted file mode 100644 index 2ae067a..0000000 --- a/examples/alpha_equiv.makkai +++ /dev/null @@ -1,4 +0,0 @@ -let signature S = (n : Nat) -> Set -let signature T = (m : Nat) -> Set -let instance i :: S = for (x : Nat), (Nat :: Set) -let instance j :: T = i |