2011-09-20 | yeom | passes the flow down rule | blob | commitdiff | raw |
2011-09-17 | yeom | 1) it passes the linear type checking 2) start annotati... | blob | commitdiff | raw | diff to current |
2011-09-16 | yeom | more changes. | blob | commitdiff | raw | diff to current |
2011-09-15 | yeom | changes toward compilation | blob | commitdiff | raw | diff to current |
2011-09-14 | yeom | add eye tracking benchmark. | blob | commitdiff | raw | diff to current |