| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 8 | logplain |
| d--------- | Category | 177 | logplain |
| -rw-r--r-- | Coeq.agda | 2917 | logplain |
| d--------- | Cospan | 42 | logplain |
| d--------- | Data | 175 | logplain |
| d--------- | DecorationFunctor | 158 | logplain |
| -rw-r--r-- | FinMerge.agda | 3433 | logplain |
| d--------- | FinMerge | 43 | logplain |
| d--------- | Functor | 141 | logplain |
| -rw-r--r-- | LICENSE | 35149 | logplain |
| d--------- | Nat | 43 | logplain |
| -rw-r--r-- | README.md | 11 | logplain |
| -rw-r--r-- | Util.agda | 1181 | logplain |
| d--------- | racket / circuits | 35 | logplain |
| d--------- | tiny | 225 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |