diff options
Diffstat (limited to 'std/Meta.bruijn')
| -rw-r--r-- | std/Meta.bruijn | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/std/Meta.bruijn b/std/Meta.bruijn index bf55b86..bbe79f4 100644 --- a/std/Meta.bruijn +++ b/std/Meta.bruijn @@ -7,7 +7,6 @@ :import std/Number/Unary . :import std/Number/Pairing . :import std/Number/Conversion . -:import std/Pair P # constructor of meta abstraction abs [[[[0 3]]]] ⧗ Meta → Meta |