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.
