search

ilya-klyuchnikov / tapl-scala

Code from the book "Types and Programming Languages" in Scala
175 stars 22 forks source link

checker for subtyping + recursive types #11

Open ilya-klyuchnikov opened 3 years ago