2d animation app - the new beginnings

caryoscelus 1f3b3e7c5b update to recent agda & stdlib hace 5 años
GLFW 1f3b3e7c5b update to recent agda & stdlib hace 5 años
.gitignore 676630bec3 update .gitignore hace 6 años
COPYING.gpl3 03460fe859 initial commit hace 6 años
FCLabels.agda d8be4d839d primitive interpolation hace 6 años
GL.hs aff0e5a452 hsv shader hace 6 años
GLApp.agda f522eb29f3 introduce dirty hace 5 años
GLFW.agda 1f3b3e7c5b update to recent agda & stdlib hace 5 años
Hask.agda 1f3b3e7c5b update to recent agda & stdlib hace 5 años
NanoLens.agda 1f3b3e7c5b update to recent agda & stdlib hace 5 años
README.md 03460fe859 initial commit hace 6 años
Strokes.hs cbd3a83acf improvements, more agda hace 6 años
T.hs f522eb29f3 introduce dirty hace 5 años
Util.agda 85495aa436 Utils / lens composition hace 6 años
Util.hs ef8d5972f5 helper func hace 6 años
colors.agda 1f3b3e7c5b update to recent agda & stdlib hace 5 años
rainynite.agda-lib 534fd0b2f9 add deps file hace 6 años
t.hs c526860043 separate Main hace 6 años
test.agda 1f3b3e7c5b update to recent agda & stdlib hace 5 años

README.md

2d animation in haskell & agda (early development)