| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Generalize ListOf construction to arbitrary monoid | Jacques Comeaux | 2 weeks | |
| Age | Commit message | Author | ||
| 2025-11-14 | Generalize ListOf construction to arbitrary monoidmain | Jacques Comeaux | ||
| 2025-11-13 | Add adjunction between free monoid and forget | Jacques Comeaux | ||
| 2025-11-09 | Use functional vector in edge definition | Jacques Comeaux | ||
| 2025-11-09 | Clean up System functors | Jacques Comeaux | ||
| 2025-11-05 | Add Circ symmetric monoidal functor | Jacques Comeaux | ||
| 2025-11-05 | Adjust universe levels | Jacques Comeaux | ||
| 2025-11-05 | Add multiset functor | Jacques Comeaux | ||
| 2025-11-05 | Add free commutaive monoid functor | Jacques Comeaux | ||
| 2025-11-05 | Add multiset-of construction | Jacques Comeaux | ||
| 2025-11-05 | Add category of commutative monoids | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |