| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| hypergraph-conversion | Replace proof with new stdlib property | Jacques Comeaux | 13 days | |
| main | Split System into smaller modules | Jacques Comeaux | 5 hours | |
| Age | Commit message | Author | ||
| 5 hours | Split System into smaller modulesmain | Jacques Comeaux | ||
| 5 hours | Add symmetric monoidal structure to Pull and System | Jacques Comeaux | ||
| 25 hours | Add inverted unitary rules for strong monoidal functors | Jacques Comeaux | ||
| 45 hours | Add inverted associativity for strong monoidal functors | Jacques Comeaux | ||
| 6 days | Simplify System definition and add System functor | Jacques Comeaux | ||
| 6 days | Setoid-ify System definition | Jacques Comeaux | ||
| 7 days | Add symmetric monoidal structure to Push functor | Jacques Comeaux | ||
| 12 days | Add Preimage symmetric monoidal functor | Jacques Comeaux | ||
| 13 days | Improve terminology in comment | Jacques Comeaux | ||
| 13 days | Add symmetric monoidal versions | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |