diff options
Diffstat (limited to 'examples/inline_nested.makkai')
| -rw-r--r-- | examples/inline_nested.makkai | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/examples/inline_nested.makkai b/examples/inline_nested.makkai deleted file mode 100644 index e891349..0000000 --- a/examples/inline_nested.makkai +++ /dev/null @@ -1,9 +0,0 @@ -let signature Outer = theory { - Inner :: theory { F :: Set } -} - -let instance my_outer :: Outer = { - .Inner = { .F = (Nat :: Set) } -} - -let set MyF = set-of(my_outer .Inner .F) |