Filter RSS
Corbin's History

2021-11-04
02:51
[Git] commits were pushed to 'cammy' (current: f1ce494419f15ecbc21a4174094990cb4fc0f433)
Start doing trigonometry. Halfway to HSL and graphing complex functions!
2021-10-28
22:06
[Git] commits were pushed to 'cammy' (current: 7e9125ff0d74968bcbd2376bf54ec51e2cf96d0d)
New toolchain API. Documentation about the low-level toolchain components has been moved into th...
2021-10-26
2021-10-18
2021-10-11
2021-10-03
10:01
[Git] commits were pushed to 'cammy' (current: f067a22aaaeba5e70ceb51809143ee87dd8df0d1)
Perform a smooth gradient; render signed distance functions.
2021-10-01
2021-09-30
2021-09-25
2021-09-24
[Git] commits were pushed to 'catabase' (current: 8a15f5187e74d3534ae11144f268dfc0ae7f2e3e)
Factor 2-categories to their own table, and format their row.
2021-09-23
2021-09-17
08:54
[Git] commits were pushed to 'cammy' (current: dc332465541b5b6ab48bd455a900ca46f277d9a3)
Factor out list/filter. This was the strongest motivating example of a user-defined non-nullary ...
02:59
[Git] commits were pushed to 'cammy' (current: 6165ec9b2c325d1662942ff286c5402ca7dd473a)
Add Choice for Booleans. This does not restrain the target category much; we are only saying tha...
2021-09-16
2021-09-08
11:44
[Git] commits were pushed to 'cammy' (current: 03bf7e79b7c5d4752fde089b7ce753e5a4efbc4d)
Uncurry nat/add and nat/mul, fix compilation. This is enough to get everything unbroken up to li...
2021-09-07
2021-09-02