diff options
Diffstat (limited to 'std/Meta.bruijn')
| -rw-r--r-- | std/Meta.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/Meta.bruijn b/std/Meta.bruijn index e9ddea0..bf55b86 100644 --- a/std/Meta.bruijn +++ b/std/Meta.bruijn @@ -3,8 +3,8 @@ :import std/Logic . :import std/Combinator . -:import std/Number/Unary . :import std/List . +:import std/Number/Unary . :import std/Number/Pairing . :import std/Number/Conversion . :import std/Pair P |