Inicio Explorar Axuda
Iniciar sesión
caryoscelus
/
rainynite-linaer
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki

2d animation app - the new beginnings

Árbore: 1f3b3e7c5b
Ramas Etiquetas
rainynite-li...
ZIP TAR.GZ
caryoscelus 1f3b3e7c5b update to recent agda & stdlib %!s(int64=5) %!d(string=hai) anos
GLFW 1f3b3e7c5b update to recent agda & stdlib %!s(int64=5) %!d(string=hai) anos
.gitignore 676630bec3 update .gitignore %!s(int64=5) %!d(string=hai) anos
COPYING.gpl3 03460fe859 initial commit %!s(int64=5) %!d(string=hai) anos
FCLabels.agda d8be4d839d primitive interpolation %!s(int64=5) %!d(string=hai) anos
GL.hs aff0e5a452 hsv shader %!s(int64=5) %!d(string=hai) anos
GLApp.agda f522eb29f3 introduce dirty %!s(int64=5) %!d(string=hai) anos
GLFW.agda 1f3b3e7c5b update to recent agda & stdlib %!s(int64=5) %!d(string=hai) anos
Hask.agda 1f3b3e7c5b update to recent agda & stdlib %!s(int64=5) %!d(string=hai) anos
NanoLens.agda 1f3b3e7c5b update to recent agda & stdlib %!s(int64=5) %!d(string=hai) anos
README.md 03460fe859 initial commit %!s(int64=5) %!d(string=hai) anos
Strokes.hs cbd3a83acf improvements, more agda %!s(int64=5) %!d(string=hai) anos
T.hs f522eb29f3 introduce dirty %!s(int64=5) %!d(string=hai) anos
Util.agda 85495aa436 Utils / lens composition %!s(int64=5) %!d(string=hai) anos
Util.hs ef8d5972f5 helper func %!s(int64=5) %!d(string=hai) anos
colors.agda 1f3b3e7c5b update to recent agda & stdlib %!s(int64=5) %!d(string=hai) anos
rainynite.agda-lib 534fd0b2f9 add deps file %!s(int64=5) %!d(string=hai) anos
t.hs c526860043 separate Main %!s(int64=5) %!d(string=hai) anos
test.agda 1f3b3e7c5b update to recent agda & stdlib %!s(int64=5) %!d(string=hai) anos

README.md

2d animation in haskell & agda (early development)