Accueil Explorer Aide
Connexion
caryoscelus
/
rainynite-linaer
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki

2d animation app - the new beginnings

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

README.md

2d animation in haskell & agda (early development)