| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| hypergraph-conversion | Import missing pattern synonym | Jacques Comeaux | 9 weeks | |
| main | Add preliminary setoid of discrete dynamical systems | Jacques Comeaux | 5 weeks | |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |