Pinned Loading

1. WhatsApp/eqwalizer WhatsApp/eqwalizer Public

   A type-checker for Erlang

   Scala 526 31

2. tapl-scala tapl-scala Public

   Code from the book "Types and Programming Languages" in Scala

   Scala 182 22

3. ttlite ttlite Public

   A SuperCompiler for Martin-Löf's Type Theory

   Scala 121 9