Filter RSS
Chamber History: Cammy

2021-09-30
07:25
Cammy
corbin
2021-09-25
00:03
Cammy
corbin
2021-09-17
08:54
Cammy
corbin
[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
Cammy
corbin
[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
Cammy
corbin
[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-08-26
06:36
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 41583a2fd06df8bb86bcd9889d5dc3a0e3ba60f3)
Remove bootstrap notes. Literally everything of interest is archived at https://esolangs.org/w/i...
2021-08-25
12:44
Cammy
corbin
[Git] commits were pushed to 'cammy' (current: 9640f4207ce3d8b2dcde993aff87999e7e330bfc)
movelist: Change cammy° to a ternary relation. We obtain the desired consequence: For a little l...
2021-08-20
04:31
Cammy
corbin
[PersonalForge] Newly created chamber: Cammy (cammy)
A categorical programming language