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