Sources

Non-markup code which is adjacent to this repo can be found here: https://github.com/damienstanton/notes

Code will generally, as in the notes, be written in Rust, Swift, Haskell, or Agda.