diff options
Diffstat (limited to 'samples/fun/interpreter.bruijn')
| -rw-r--r-- | samples/fun/interpreter.bruijn | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/samples/fun/interpreter.bruijn b/samples/fun/interpreter.bruijn index 0691f4a..c2b8020 100644 --- a/samples/fun/interpreter.bruijn +++ b/samples/fun/interpreter.bruijn @@ -7,7 +7,6 @@ :import std/List . :import std/Char C -# TODO: finish types uni [0 0] int [0 Ω] ⧗ (List Bit) → Term int [[[0 go (2 2) 1]]] go [[[[2 match]]]] |