diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-11 11:06:07 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-11 11:06:07 +0100 |
| commit | 12d830587a8f0872b4c90ae285d502f784ea3ba2 (patch) | |
| tree | 31c1a9f34a780caca8de54f8221b63b5417d3f35 | |
| parent | 4b714f215147aacdc7c871b9632f24d17a6904cc (diff) | |
renumber versions, postopne 1.0
| -rw-r--r-- | TODO | 16 |
1 files changed, 8 insertions, 8 deletions
| @@ -8,7 +8,7 @@ priorities guidelines | |||
| 8 | 8 | ||
| 9 | ------------------------------------------------------------------- Jan 4, Jan 11 | 9 | ------------------------------------------------------------------- Jan 4, Jan 11 |
| 10 | 10 | ||
| 11 | 0.5 goal: start of more public development | 11 | 0.3 goal: start of more public development |
| 12 | done: | 12 | done: |
| 13 | - use travis ci | 13 | - use travis ci |
| 14 | - timeout for tests | 14 | - timeout for tests |
| @@ -37,7 +37,7 @@ extra: | |||
| 37 | 37 | ||
| 38 | ------------------------------------------------------------------- Jan 18, Jan 25 | 38 | ------------------------------------------------------------------- Jan 18, Jan 25 |
| 39 | 39 | ||
| 40 | 1.0 goal: usable compiler | 40 | 0.4 goal: usable compiler |
| 41 | - ambiguity check (compiler): really check type annotations | 41 | - ambiguity check (compiler): really check type annotations |
| 42 | - ambiguity check (compiler): prohibit constraints like a ~ List a, a ~ a -> a, etc. | 42 | - ambiguity check (compiler): prohibit constraints like a ~ List a, a ~ a -> a, etc. |
| 43 | - compiler: linear time interpretation (type erasure, de bruijn index compatification) | 43 | - compiler: linear time interpretation (type erasure, de bruijn index compatification) |
| @@ -67,7 +67,7 @@ refactoring, cleanup, contact with people, etc. | |||
| 67 | 67 | ||
| 68 | ------------------------------------------------------------------- Feb 8, Feb 15 | 68 | ------------------------------------------------------------------- Feb 8, Feb 15 |
| 69 | 69 | ||
| 70 | 1.1 goal: improvement | 70 | 0.5 goal: improvement |
| 71 | - docs: feature teaser, 2 min paper videos | 71 | - docs: feature teaser, 2 min paper videos |
| 72 | - testenv: performance benchmarks | 72 | - testenv: performance benchmarks |
| 73 | - compiler: dependent prelude should work again | 73 | - compiler: dependent prelude should work again |
| @@ -96,7 +96,7 @@ refactoring, cleanup, contact with people, etc. | |||
| 96 | 96 | ||
| 97 | ------------------------------------------------------------------- Feb 22, Feb 29 | 97 | ------------------------------------------------------------------- Feb 22, Feb 29 |
| 98 | 98 | ||
| 99 | 1.2 goal: type classes | 99 | 0.6 goal: type classes |
| 100 | - docs: feature teaser, 2 min paper videos | 100 | - docs: feature teaser, 2 min paper videos |
| 101 | - compiler: type classes | 101 | - compiler: type classes |
| 102 | - mutual recursion (inference & reduction) | 102 | - mutual recursion (inference & reduction) |
| @@ -114,7 +114,7 @@ refactoring, cleanup, contact with people, etc. | |||
| 114 | 114 | ||
| 115 | ------------------------------------------------------------------- Mar 14, Mar 21 | 115 | ------------------------------------------------------------------- Mar 14, Mar 21 |
| 116 | 116 | ||
| 117 | 1.3 goal: high-level API | 117 | 0.7 goal: high-level API |
| 118 | 118 | ||
| 119 | - libs: high level API (lambdacube library) (application driven) | 119 | - libs: high level API (lambdacube library) (application driven) |
| 120 | - apps: various prototype experiments (e.g. visual effects, high-level API, FRP) | 120 | - apps: various prototype experiments (e.g. visual effects, high-level API, FRP) |
| @@ -128,7 +128,7 @@ refactoring, cleanup, contact with people, etc. | |||
| 128 | 128 | ||
| 129 | ------------------------------------------------------------------- Mar 28, Apr 4 | 129 | ------------------------------------------------------------------- Mar 28, Apr 4 |
| 130 | 130 | ||
| 131 | 1.4 goal: frequencies | 131 | 0.8 goal: frequencies |
| 132 | 132 | ||
| 133 | - apps: various prototype experiments (e.g. visual effects, high-level API, FRP) | 133 | - apps: various prototype experiments (e.g. visual effects, high-level API, FRP) |
| 134 | - compiler: frequencies | 134 | - compiler: frequencies |
| @@ -138,7 +138,7 @@ refactoring, cleanup, contact with people, etc. | |||
| 138 | 138 | ||
| 139 | ------------------------------------------------------------------- Apr 11, Apr 18 | 139 | ------------------------------------------------------------------- Apr 11, Apr 18 |
| 140 | 140 | ||
| 141 | 1.5 goal: experiment with FRP | 141 | 0.9 goal: experiment with FRP |
| 142 | 142 | ||
| 143 | - libs: begin experiments with FRP | 143 | - libs: begin experiments with FRP |
| 144 | - docs: tutorial (like salesforce) | 144 | - docs: tutorial (like salesforce) |
| @@ -151,7 +151,7 @@ refactoring, cleanup, contact with people, etc. | |||
| 151 | 151 | ||
| 152 | ------------------------------------------------------------------- May 2, May 9 | 152 | ------------------------------------------------------------------- May 2, May 9 |
| 153 | 153 | ||
| 154 | 1.6 goal: debug support | 154 | 1.0 goal: debug support |
| 155 | 155 | ||
| 156 | - editor improvments | 156 | - editor improvments |
| 157 | - backend: basic debug support | 157 | - backend: basic debug support |