| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Simplify wiring diagrams using semiadditive dagger | Jacques Comeaux | 19 hours | |
| Age | Commit message | Author | ||
| 19 hours | Simplify wiring diagrams using semiadditive daggermain | Jacques Comeaux | ||
| 39 hours | Simplify semiadditive dagger definition | Jacques Comeaux | ||
| 43 hours | Define semiadditive category | Jacques Comeaux | ||
| 3 days | Add categories with all binary biproducts | Jacques Comeaux | ||
| 6 days | Add split functor | Jacques Comeaux | ||
| 6 days | Remove use of deprecated name | Jacques Comeaux | ||
| 6 days | Add cartesian structure to category of semimodules | Jacques Comeaux | ||
| 7 days | Construct Sys functor from wiring diagrams to Cats | Jacques Comeaux | ||
| 7 days | Derive cartesian from semiadditive dagger | Jacques Comeaux | ||
| 8 days | Show category of commutative conoids is cartesian | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |