liangkun/tapl
Exercises of book "Types and Programming Languages" in scheme(racket).
Discovered public repositories for liangkun in the GitHub catalog.
Exercises of book "Types and Programming Languages" in scheme(racket).
Public repository.
Public repository.
A modern scheme language variant with builtin supports for algebraic data type, polymorphism, referencial transparency and simple C-FFI.