| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 8 | logplain |
| d--------- | Category / Cocomplete | 37 | logplain |
| -rw-r--r-- | Coeq.agda | 2908 | logplain |
| -rw-r--r-- | Cospan.agda | 13611 | logplain |
| -rw-r--r-- | FinMerge.agda | 3433 | logplain |
| d--------- | FinMerge | 43 | 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--------- | tiny | 225 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |