diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-02 10:52:01 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-02 10:52:01 +0100 |
| commit | 6457a1cc1c2f6ebdf15da7463f4eed5d99a7dd34 (patch) | |
| tree | bc9472374a2c80092f9ebdd01696c0b964c44335 /TODO | |
| parent | 37348b68446efc8299e384944ecd2fecfa5996a1 (diff) | |
adjust todo
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -256,6 +256,8 @@ reviews, blogs | |||
| 256 | - domain-free compiler (move all lambacube specific parts into libraries & backend) | 256 | - domain-free compiler (move all lambacube specific parts into libraries & backend) |
| 257 | - compiler: Agda modelling | 257 | - compiler: Agda modelling |
| 258 | - strictness annotation (e.g. popups in editor) | 258 | - strictness annotation (e.g. popups in editor) |
| 259 | - strictenss injection using machine learning | ||
| 260 | - inlining using machine learning | ||
| 259 | 261 | ||
| 260 | -------------------------------------------------------------------- | 262 | -------------------------------------------------------------------- |
| 261 | 263 | ||