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