liangkun/tapl
Exercises of book "Types and Programming Languages" in scheme(racket).
Public repository discovered through GitHub real-time crawl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Exercises of book "Types and Programming Languages" in scheme(racket).
Public repository.
A modern scheme language variant with builtin supports for algebraic data type, polymorphism, referencial transparency and simple C-FFI.