A port of a bidirectional typechecking algorithm from F# to Sesterl
Primary LanguageErlangGNU Lesser General Public License v3.0LGPL-3.0