diff options
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 7 |
1 files changed, 6 insertions, 1 deletions
| @@ -69,6 +69,11 @@ done: | |||
| 69 | 69 | ||
| 70 | 0.5 goal: improvement + linear time interpretation | 70 | 0.5 goal: improvement + linear time interpretation |
| 71 | 71 | ||
| 72 | done: | ||
| 73 | - compiler: (~) :: forall a . a -> a -> Type | ||
| 74 | |||
| 75 | next: | ||
| 76 | |||
| 72 | - blog about release: | 77 | - blog about release: |
| 73 | - few sentences about the past events | 78 | - few sentences about the past events |
| 74 | - this is the 2nd version (first rewrite) of the DSL using the learnings from the first one | 79 | - this is the 2nd version (first rewrite) of the DSL using the learnings from the first one |
| @@ -89,7 +94,6 @@ done: | |||
| 89 | - docs: feature teaser, 2 min paper videos | 94 | - docs: feature teaser, 2 min paper videos |
| 90 | - testenv: performance benchmarks | 95 | - testenv: performance benchmarks |
| 91 | 96 | ||
| 92 | - compiler: (~) :: forall a b . a -> b -> Type | ||
| 93 | - compiler: ConName --> Int | 97 | - compiler: ConName --> Int |
| 94 | - compiler: support let labels | 98 | - compiler: support let labels |
| 95 | - compiler optimization: irrelevance + erasure | 99 | - compiler optimization: irrelevance + erasure |
| @@ -159,6 +163,7 @@ extra (refactoring): | |||
| 159 | - community: blog about compiler internals | 163 | - community: blog about compiler internals |
| 160 | - backend: generated backends | 164 | - backend: generated backends |
| 161 | - user supplied cpu values like color values and rendering context | 165 | - user supplied cpu values like color values and rendering context |
| 166 | - compiler: (~) :: forall a b . a -> b -> Type ? | ||
| 162 | - compiler: add more structure to witnesses? | 167 | - compiler: add more structure to witnesses? |
| 163 | - review all old disabled test cases | 168 | - review all old disabled test cases |
| 164 | - 100% test coverage of the parser | 169 | - 100% test coverage of the parser |