Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
rainynite-linaer
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki

2d animation app - the new beginnings

Větev: master
Větve Značky
rainynite-li...
ZIP TAR.GZ
caryoscelus 1f3b3e7c5b update to recent agda & stdlib před 5 roky
GLFW 1f3b3e7c5b update to recent agda & stdlib před 5 roky
.gitignore 676630bec3 update .gitignore před 5 roky
COPYING.gpl3 03460fe859 initial commit před 5 roky
FCLabels.agda d8be4d839d primitive interpolation před 5 roky
GL.hs aff0e5a452 hsv shader před 5 roky
GLApp.agda f522eb29f3 introduce dirty před 5 roky
GLFW.agda 1f3b3e7c5b update to recent agda & stdlib před 5 roky
Hask.agda 1f3b3e7c5b update to recent agda & stdlib před 5 roky
NanoLens.agda 1f3b3e7c5b update to recent agda & stdlib před 5 roky
README.md 03460fe859 initial commit před 5 roky
Strokes.hs cbd3a83acf improvements, more agda před 5 roky
T.hs f522eb29f3 introduce dirty před 5 roky
Util.agda 85495aa436 Utils / lens composition před 5 roky
Util.hs ef8d5972f5 helper func před 5 roky
colors.agda 1f3b3e7c5b update to recent agda & stdlib před 5 roky
rainynite.agda-lib 534fd0b2f9 add deps file před 5 roky
t.hs c526860043 separate Main před 5 roky
test.agda 1f3b3e7c5b update to recent agda & stdlib před 5 roky

README.md

2d animation in haskell & agda (early development)