Commit History

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