Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
rainynite-linaer
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki

2d animation app - the new beginnings

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

README.md

2d animation in haskell & agda (early development)