| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Construct SM nat trans from Circ to Sys | Jacques Comeaux | 7 days | |
| Age | Commit message | Author | ||
| 7 days | Construct SM nat trans from Circ to Sysmain | Jacques Comeaux | ||
| 8 days | Define Sys functor from Nat to SMCs | Jacques Comeaux | ||
| 8 days | Extend monoidalize functor to commutative monoids | Jacques Comeaux | ||
| 11 days | Add SMP to commutative monoids functor | Jacques Comeaux | ||
| 11 days | Add monoidal preorders to monoids functor | Jacques Comeaux | ||
| 11 days | Add strong variants of cats to preorders functors | Jacques Comeaux | ||
| 11 days | Differentiate lax and strong monoidal monotones | Jacques Comeaux | ||
| 12 days | Add sym. mon. cat to sym. mon. preorder functor | Jacques Comeaux | ||
| 12 days | Add symmetric monoidal primitive preorder category | Jacques Comeaux | ||
| 12 days | Add monoidal cats to monoidal preorders functor | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |