| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-03-08 | Migrate to agda-stdlib-2.0-dev.axiomatic | Greg Brown | |
| 2022-02-22 | Add if_then_ statements | Greg Brown | |
| 2022-02-21 | Replace nat indices with fins. | Greg Brown | |
| 2022-02-19 | Unalias bit type. | Greg Brown | |
| 2022-02-18 | Remove declare case of Procedure. | Greg Brown | |
| 2022-02-17 | Make call and invoke take All instead of tuple. | Greg Brown | |
| 2022-02-15 | Make expressions unable to change state. | Greg Brown | |
| 2022-02-13 | Define vmla instruction. | Greg Brown | |
| 2022-02-13 | Extract common code from pseudocode instructions | Greg Brown | |
| 2022-02-13 | Refactor to group instruction definitions together | Greg Brown | |
 |
index : yellowsquid/helium.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |