diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2017-06-14 23:04:40 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2017-06-14 23:04:40 +0100 |
| commit | 0ed4c201ecd4a0700e582fdb0284abedcf4b87aa (patch) | |
| tree | 48adecf6e1b82de4f4b93abb8c03e0bbd588bceb /refactor.plan | |
| parent | 30792e3d67a11787a691493683c703a4767ce96d (diff) | |
add more typesig
Diffstat (limited to 'refactor.plan')
| -rw-r--r-- | refactor.plan | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/refactor.plan b/refactor.plan index 9d08dc97..92a46638 100644 --- a/refactor.plan +++ b/refactor.plan | |||
| @@ -2,7 +2,7 @@ goals: | |||
| 2 | simple, clean API and dependency tree | 2 | simple, clean API and dependency tree |
| 3 | 3 | ||
| 4 | stage 1: | 4 | stage 1: |
| 5 | ok - LambdaCube.Compiler.Utils | 5 | typesig - LambdaCube.Compiler.Utils |
| 6 | import LambdaCube.Compiler.Pretty | 6 | import LambdaCube.Compiler.Pretty |
| 7 | import LambdaCube.Compiler.DeBruijn | 7 | import LambdaCube.Compiler.DeBruijn |
| 8 | 8 | ||