 caryoscelus
|
7a4986fc55
rename GLFW/Types.agda
|
6 years ago |
|
caryoscelus
|
29d80e0f5d
move more things to proceedRender
|
6 years ago |
|
caryoscelus
|
faa4f12c58
move key callback to agda
|
6 years ago |
|
caryoscelus
|
5e9c53905d
minor improvements
|
6 years ago |
|
caryoscelus
|
ca2ea785dc
separate rendering procedure
|
6 years ago |
|
caryoscelus
|
c30269194c
minor improvement
|
6 years ago |
|
caryoscelus
|
1a1d1927a8
fix getAround
|
6 years ago |
|
caryoscelus
|
43be84abc0
cleanup lists
|
6 years ago |
|
caryoscelus
|
d8be4d839d
primitive interpolation
|
6 years ago |
|
caryoscelus
|
0d55ea3059
more agda, fix haskell lists bindings
|
6 years ago |
|
caryoscelus
|
e4714360db
minor improvement
|
6 years ago |
|
caryoscelus
|
25f552ae7c
minor fix
|
6 years ago |
|
caryoscelus
|
cbd3a83acf
improvements, more agda
|
6 years ago |
|
caryoscelus
|
676630bec3
update .gitignore
|
6 years ago |
|
caryoscelus
|
0b6f7e539b
update gitignore
|
6 years ago |
|
caryoscelus
|
8455cfbc98
more bindings improvements
|
6 years ago |
|
caryoscelus
|
e92c94d3d0
split agda bindings
|
6 years ago |
|
caryoscelus
|
909a4e0d21
more agda
|
6 years ago |
|
caryoscelus
|
fe4edb00b5
move mouse handler to agda
|
6 years ago |
|
caryoscelus
|
ef8d5972f5
helper func
|
6 years ago |
|
caryoscelus
|
a406a79715
split out callbacks
|
6 years ago |
|
caryoscelus
|
5760f4c790
test some agda
|
6 years ago |
|
caryoscelus
|
b1736e06a5
more .gitignore
|
6 years ago |
|
caryoscelus
|
2989a88669
update gitignore
|
6 years ago |
|
caryoscelus
|
c526860043
separate Main
|
6 years ago |
|
caryoscelus
|
30490ab7df
some types
|
6 years ago |
|
caryoscelus
|
49d3e85b5e
get back the controls
|
6 years ago |
|
caryoscelus
|
aa603e4ab7
use some lens
|
6 years ago |
|
caryoscelus
|
06431f001b
split monolyth main function
|
6 years ago |
|
caryoscelus
|
388a95c4e5
Util module
|
6 years ago |
