diff options
Diffstat (limited to 'examples/signature_merge.makkai')
| -rw-r--r-- | examples/signature_merge.makkai | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/signature_merge.makkai b/examples/signature_merge.makkai new file mode 100644 index 0000000..5f575d5 --- /dev/null +++ b/examples/signature_merge.makkai @@ -0,0 +1,12 @@ +let signature S = (n : Nat) -> Set +let signature U = (k : Bool) -> S +let signature W = (k : Bool)(n : Nat) -> Set + +let instance u :: U = for (k : Bool), for (n : Nat), (Nat :: Set) +let instance w :: W = u + +let signature F = (n : Nat) (m : Nat) -> Set +let signature G = (n : Nat) -> (m : Nat) -> Set + +let instance f :: F = for (n : Nat) (m : Nat), (Nat :: Set) +let instance g :: G = f |