Bidirectional Typechecking A toy programming language with bidirectional typechecking. Install and Run make bidir <filename> Documentation Available here