| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Add hypergraph destructor setoid homomorphism | Jacques Comeaux | 5 hours | |
| Age | Commit message | Author | ||
| 5 hours | Add hypergraph destructor setoid homomorphismmain | Jacques Comeaux | ||
| 5 hours | Add Monoidalize functor | Jacques Comeaux | ||
| 7 hours | Redefine circuit functor | Jacques Comeaux | ||
| 9 hours | Transport monoid via base category isomorphism | Jacques Comeaux | ||
| 3 days | Add free/forget multiset adjunction | Jacques Comeaux | ||
| 4 days | Add free commutative monoid functor | Jacques Comeaux | ||
| 5 days | Update Nat properties | Jacques Comeaux | ||
| 5 days | Add shorter name for singleton setoid | Jacques Comeaux | ||
| 5 days | Update category of cospans monoidal structure | Jacques Comeaux | ||
| 5 days | Update category of cospans | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |