| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Cospan | 76 | logplain |
| -rw-r--r-- | Decorate.agda | 8769 | logplain |
| d--------- | DecoratedCospan | 76 | logplain |
| d--------- | Endo | 37 | logplain |
| -rw-r--r-- | FreeCMonoid.agda | 2925 | logplain |
| -rw-r--r-- | List.agda | 2056 | logplain |
| -rw-r--r-- | Multiset.agda | 2042 | logplain |
| d--------- | Nat | 228 | logplain |
| d--------- | Underlying / SymmetricMonoidal | 44 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |