| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Show matrix change of base functor is cartesian | Jacques Comeaux | 4 days | |
| Age | Commit message | Author | ||
| 4 days | Show matrix change of base functor is cartesianmain | Jacques Comeaux | ||
| 4 days | Show semimodules forgetful functor is cartesian | Jacques Comeaux | ||
| 5 days | Finish merge and split symmetric monoidal functors | Jacques Comeaux | ||
| 6 days | Construct monoidal merge functor | Jacques Comeaux | ||
| 6 days | Show category of maps is monoidal | Jacques Comeaux | ||
| 8 days | Upgrade Push + Pull to symmetric monoidal functors | Jacques Comeaux | ||
| 9 days | Show wiring diagram braiding is symmetric | Jacques Comeaux | ||
| 9 days | Update system functor | Jacques Comeaux | ||
| 9 days | Add braiding to wiring diagram monoidal structure | Jacques Comeaux | ||
| 10 days | Update missed module to new agda-categories | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |