 caryoscelus
|
1f3b3e7c5b
update to recent agda & stdlib
|
6 年之前 |
|
caryoscelus
|
f522eb29f3
introduce dirty
|
6 年之前 |
|
caryoscelus
|
c1485d398e
fix test
|
6 年之前 |
|
caryoscelus
|
4c1a143bd5
colors in agda
|
6 年之前 |
|
caryoscelus
|
85495aa436
Utils / lens composition
|
6 年之前 |
|
caryoscelus
|
dc1b7c4972
modularize
|
6 年之前 |
|
caryoscelus
|
b7e4487015
move callbacks into interface record
|
6 年之前 |
|
caryoscelus
|
a47e0a1ed7
Integer -> Z
|
6 年之前 |
|
caryoscelus
|
ac59bcba89
make V2 non-opaque
|
6 年之前 |
|
caryoscelus
|
b6e3b37dc9
make an interface record
|
6 年之前 |
|
caryoscelus
|
8d4dd30381
some useless changes
|
6 年之前 |
|
caryoscelus
|
0888a9f314
return left/right controls
|
6 年之前 |
|
caryoscelus
|
38ebb3b1fe
use new NanoLens generation mechanism
|
6 年之前 |
|
caryoscelus
|
6334f82ae7
use NanoLens, move DrawApp into agda
|
6 年之前 |
|
caryoscelus
|
3bbeeecc52
better callback types
|
6 年之前 |
|
caryoscelus
|
0a1cc92f0a
more proper GLFW bindings
|
6 年之前 |
|
caryoscelus
|
7a4986fc55
rename GLFW/Types.agda
|
6 年之前 |
|
caryoscelus
|
faa4f12c58
move key callback to agda
|
6 年之前 |
|
caryoscelus
|
c30269194c
minor improvement
|
6 年之前 |
|
caryoscelus
|
1a1d1927a8
fix getAround
|
6 年之前 |
|
caryoscelus
|
43be84abc0
cleanup lists
|
6 年之前 |
|
caryoscelus
|
d8be4d839d
primitive interpolation
|
6 年之前 |
|
caryoscelus
|
0d55ea3059
more agda, fix haskell lists bindings
|
6 年之前 |
|
caryoscelus
|
e4714360db
minor improvement
|
6 年之前 |
|
caryoscelus
|
25f552ae7c
minor fix
|
6 年之前 |
|
caryoscelus
|
cbd3a83acf
improvements, more agda
|
6 年之前 |
|
caryoscelus
|
8455cfbc98
more bindings improvements
|
6 年之前 |
|
caryoscelus
|
e92c94d3d0
split agda bindings
|
6 年之前 |
|
caryoscelus
|
909a4e0d21
more agda
|
6 年之前 |
|
caryoscelus
|
fe4edb00b5
move mouse handler to agda
|
6 年之前 |
