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