| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 8 | logplain |
| d--------- | Adjoint / Instance | 35 | logplain |
| d--------- | Category | 216 | logplain |
| -rw-r--r-- | Coeq.agda | 2917 | logplain |
| d--------- | Cospan | 42 | logplain |
| d--------- | Data | 703 | logplain |
| d--------- | DecorationFunctor | 158 | logplain |
| -rw-r--r-- | FinMerge.agda | 3419 | logplain |
| d--------- | FinMerge | 80 | logplain |
| d--------- | Functor | 243 | logplain |
| -rw-r--r-- | LICENSE | 35149 | logplain |
| d--------- | Nat | 43 | logplain |
| d--------- | NaturalTransformation | 70 | logplain |
| d--------- | Object / Monoid | 33 | logplain |
| -rw-r--r-- | README.md | 11 | logplain |
| d--------- | racket / circuits | 35 | logplain |
| d--------- | tiny | 225 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |