| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Cospan | 76 | logplain |
| -rw-r--r-- | Decorate.agda | 8766 | logplain |
| d--------- | DecoratedCospan | 76 | logplain |
| d--------- | Underlying / SymmetricMonoidal | 44 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |