caryoscelus/rainynite-linaer

2d animation app - the new beginnings

0 Rilis

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

2d animation in haskell & agda (early development)