| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Convert.agda | 9364 | logplain |
| -rw-r--r-- | Gate.agda | 4208 | logplain |
| -rw-r--r-- | Merge.agda | 16695 | logplain |
| -rw-r--r-- | Typecheck.agda | 3100 | logplain |
| -rw-r--r-- | Value.agda | 4896 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |