Commit graph

3 commits

Author SHA1 Message Date
Electric Keet
4748e185a7 Fixing something I botched.
Hey, all those files I thought I clobbered!
2023-06-23 18:13:37 -07:00
Electric Keet
7012cd36ab
Instrument macro docs & images. 2023-06-10 23:00:11 -07:00
tildearrow
17464b6446 move documentation out of papers 2023-06-05 00:08:37 -05:00
Renamed from papers/doc/4-instrument/vera.md (Browse further)