| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 8 | logplain |
| -rw-r--r-- | FinMerge.agda | 2508 | logplain |
| d--------- | FinMerge | 43 | logplain |
| -rw-r--r-- | README.md | 11 | logplain |
| -rw-r--r-- | Util.agda | 414 | logplain |
| d--------- | tiny | 225 | logplain |
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |