diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2021-12-21 15:14:54 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2021-12-21 15:14:54 +0000 |
| commit | 0b581ec922b40284291d6814578bd2e68049c8b7 (patch) | |
| tree | a4092b2cff7016426dd5a57e0c351627d1c1ea71 /src/Helium/Instructions.agda | |
| parent | 63f9978f448574d4df1ebacec52125a957482260 (diff) | |
Define execBeats, a wrapper to execute beat-wise instructions.
Diffstat (limited to 'src/Helium/Instructions.agda')
0 files changed, 0 insertions, 0 deletions