| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Fix modules broken by addition of strong SymMonCat | Jacques Comeaux | 2 weeks | |
| Age | Commit message | Author | ||
| 2026-01-13 | Fix modules broken by addition of strong SymMonCatmain | Jacques Comeaux | ||
| 2026-01-13 | Remove old multisetof construction | Jacques Comeaux | ||
| 2026-01-13 | Move values module | Jacques Comeaux | ||
| 2026-01-13 | Remove old monoidal functors | Jacques Comeaux | ||
| 2026-01-11 | Construct SM nat trans from Circ to Sys | Jacques Comeaux | ||
| 2026-01-10 | Define Sys functor from Nat to SMCs | Jacques Comeaux | ||
| 2026-01-10 | Extend monoidalize functor to commutative monoids | Jacques Comeaux | ||
| 2026-01-07 | Add SMP to commutative monoids functor | Jacques Comeaux | ||
| 2026-01-07 | Add monoidal preorders to monoids functor | Jacques Comeaux | ||
| 2026-01-07 | Add strong variants of cats to preorders functors | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |