| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CMonoids.agda | 2192 | logplain |
| -rw-r--r-- | FinitelyCocompletes.agda | 14351 | logplain |
| d--------- | Preorders | 42 | logplain |
| -rw-r--r-- | Semimodules.agda | 3567 | logplain |
| -rw-r--r-- | SymMonCat.agda | 601 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |