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