diff options
| author | Marvin Borner | 2023-11-06 18:52:17 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-11-06 18:52:17 +0100 |
| commit | 27f0cbf21e01448245d54f7818582c741d8cdafa (patch) | |
| tree | bbef2451cc5e6354281bb26a3e8724f83515e6f5 /samples/fun | |
| parent | 1f7231153c172500f1073ddb22ec911379f83a07 (diff) | |
Minor general additions
Diffstat (limited to 'samples/fun')
| -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]]]] |