| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 8 | logplain |
| -rw-r--r-- | Coeq.agda | 3552 | logplain |
| -rw-r--r-- | FinMerge.agda | 2537 | logplain |
| d--------- | FinMerge | 43 | logplain |
| -rw-r--r-- | LICENSE | 35149 | logplain |
| -rw-r--r-- | README.md | 11 | logplain |
| -rw-r--r-- | Util.agda | 1205 | logplain |
| d--------- | tiny | 225 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |