2d animation app - the new beginnings
caryoscelus
1f3b3e7c5b
update to recent agda & stdlib
|
5 роки тому | |
|---|---|---|
| GLFW | 5 роки тому | |
| .gitignore | 6 роки тому | |
| COPYING.gpl3 | 6 роки тому | |
| FCLabels.agda | 6 роки тому | |
| GL.hs | 5 роки тому | |
| GLApp.agda | 5 роки тому | |
| GLFW.agda | 5 роки тому | |
| Hask.agda | 5 роки тому | |
| NanoLens.agda | 5 роки тому | |
| README.md | 6 роки тому | |
| Strokes.hs | 6 роки тому | |
| T.hs | 5 роки тому | |
| Util.agda | 5 роки тому | |
| Util.hs | 6 роки тому | |
| colors.agda | 5 роки тому | |
| rainynite.agda-lib | 5 роки тому | |
| t.hs | 6 роки тому | |
| test.agda | 5 роки тому |
README.md
2d animation in haskell & agda (early development)