 caryoscelus
|
1f3b3e7c5b
update to recent agda & stdlib
|
преди 5 години |
|
caryoscelus
|
3aa7ff51ca
make colors compile again
|
преди 5 години |
|
caryoscelus
|
f522eb29f3
introduce dirty
|
преди 5 години |
|
caryoscelus
|
a06d672d51
simple vec lens
|
преди 5 години |
|
caryoscelus
|
534fd0b2f9
add deps file
|
преди 5 години |
|
caryoscelus
|
c1485d398e
fix test
|
преди 5 години |
|
caryoscelus
|
82e1bcba1e
color chooser kinda works
|
преди 5 години |
|
caryoscelus
|
e794d3509a
some hsv
|
преди 5 години |
|
caryoscelus
|
aff0e5a452
hsv shader
|
преди 5 години |
|
caryoscelus
|
fdaf3ee09a
GL: gamma correction / nearest filter
|
преди 5 години |
|
caryoscelus
|
c70b579ae3
color selector WIP
|
преди 5 години |
|
caryoscelus
|
4c1a143bd5
colors in agda
|
преди 5 години |
|
caryoscelus
|
5a97569f16
more correct name for shader
|
преди 5 години |
|
caryoscelus
|
85495aa436
Utils / lens composition
|
преди 5 години |
|
caryoscelus
|
dc1b7c4972
modularize
|
преди 5 години |
|
caryoscelus
|
b7e4487015
move callbacks into interface record
|
преди 5 години |
|
caryoscelus
|
a47e0a1ed7
Integer -> Z
|
преди 5 години |
|
caryoscelus
|
ac59bcba89
make V2 non-opaque
|
преди 5 години |
|
caryoscelus
|
b6e3b37dc9
make an interface record
|
преди 5 години |
|
caryoscelus
|
3a27c24f94
NanoLens: polymorphic records
|
преди 5 години |
|
caryoscelus
|
8d4dd30381
some useless changes
|
преди 5 години |
|
caryoscelus
|
0eeb4731e6
minor code improvement
|
преди 5 години |
|
caryoscelus
|
0888a9f314
return left/right controls
|
преди 5 години |
|
caryoscelus
|
38ebb3b1fe
use new NanoLens generation mechanism
|
преди 5 години |
|
caryoscelus
|
55cda5f09a
NanoLens : generate mono-lens from name
|
преди 5 години |
|
caryoscelus
|
c9e2f54a17
NanoLens : direct sett
|
преди 5 години |
|
caryoscelus
|
6334f82ae7
use NanoLens, move DrawApp into agda
|
преди 5 години |
|
caryoscelus
|
923c4e4734
NanoLens
|
преди 5 години |
|
caryoscelus
|
3bbeeecc52
better callback types
|
преди 5 години |
|
caryoscelus
|
0a1cc92f0a
more proper GLFW bindings
|
преди 5 години |
