Welcome to hg.sr.ht! This is the Mercurial hosting| hg.sr.ht
const std = @import("std");| hg.sr.ht
7229d7f084b2| hg.sr.ht
An attempt at making type checkers for System F and System Fω. Based largely off of Pierce's Types And Programming Languages reference implementations, available here. I ported them from OCaml to Rust, mainly 'cause I find that a good way to go through all the details of a program and understand how they work. I've included copies of the relevant ones for easier reference and to help with debugging.| hg.sr.ht
#+INCLUDE: ../org-templates/level-1.org| hg.sr.ht