/typing-scheme

a rough translation of the static type system from EoPL into Racket

Primary LanguageRacket

This repository is not active