JulianParsert
04

Julian ParsertNotes

Occasional writing on types, proofs, software, and field observations.

  1. First Post.An example note.