Pastes & Links
===============

* Website ~> zee.town
* Thesis proposal poster ~> poster.pdf
* Thesis proposal (DRAFT) ~> thesis_proposal.pdf
* Thesis proposal examples:
  * introductory example (see Section 1.1) ~> intro.pol
  * `increment` with intersection types (see Section 3.1.1) ~> inc.pol
  * fibonacci representation of natural numbers using intersection types (see Section 3.1.2) ~> fibsum.pol
  * simple union type example (see Section 3.1.3) ~> nat_coverage.pol
  * type difference test(s) (see Section 3.1.5) ~> diff.pol
* First oxide Rust module ~> quantile.rs