 caryoscelus
|
f522eb29f3
introduce dirty
|
5 years ago |
|
caryoscelus
|
e794d3509a
some hsv
|
5 years ago |
|
caryoscelus
|
4c1a143bd5
colors in agda
|
5 years ago |
|
caryoscelus
|
5a97569f16
more correct name for shader
|
5 years ago |
|
caryoscelus
|
b7e4487015
move callbacks into interface record
|
5 years ago |
|
caryoscelus
|
b6e3b37dc9
make an interface record
|
5 years ago |
|
caryoscelus
|
8d4dd30381
some useless changes
|
5 years ago |
|
caryoscelus
|
0eeb4731e6
minor code improvement
|
5 years ago |
|
caryoscelus
|
6334f82ae7
use NanoLens, move DrawApp into agda
|
5 years ago |
|
caryoscelus
|
29d80e0f5d
move more things to proceedRender
|
5 years ago |
|
caryoscelus
|
faa4f12c58
move key callback to agda
|
5 years ago |
|
caryoscelus
|
5e9c53905d
minor improvements
|
5 years ago |
|
caryoscelus
|
ca2ea785dc
separate rendering procedure
|
5 years ago |
|
caryoscelus
|
d8be4d839d
primitive interpolation
|
5 years ago |
|
caryoscelus
|
0d55ea3059
more agda, fix haskell lists bindings
|
5 years ago |
|
caryoscelus
|
cbd3a83acf
improvements, more agda
|
5 years ago |
|
caryoscelus
|
909a4e0d21
more agda
|
5 years ago |
|
caryoscelus
|
fe4edb00b5
move mouse handler to agda
|
5 years ago |
|
caryoscelus
|
a406a79715
split out callbacks
|
5 years ago |
|
caryoscelus
|
c526860043
separate Main
|
5 years ago |
|
caryoscelus
|
30490ab7df
some types
|
5 years ago |
|
caryoscelus
|
49d3e85b5e
get back the controls
|
5 years ago |
|
caryoscelus
|
aa603e4ab7
use some lens
|
5 years ago |
|
caryoscelus
|
06431f001b
split monolyth main function
|
5 years ago |
|
caryoscelus
|
388a95c4e5
Util module
|
5 years ago |
|
caryoscelus
|
74fc79118b
keep splitting
|
5 years ago |
|
caryoscelus
|
01b260fa10
start splitting gl mess
|
5 years ago |
|
caryoscelus
|
785a2c6a01
add some opengl mess
|
5 years ago |
