| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Convert.agda | 7911 | logplain |
| -rw-r--r-- | Gate.agda | 4200 | logplain |
| -rw-r--r-- | Merge.agda | 23087 | logplain |
| -rw-r--r-- | Typecheck.agda | 3100 | logplain |
| -rw-r--r-- | Value.agda | 5791 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |