コミット履歴

作者 SHA1 メッセージ 日付
  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 年 前