Duta/modular-compilation
Write modular compilers in Haskell
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.
Write modular compilers in Haskell
C solutions to Hacker Rank problems
Public repository.
Lambda calculus in Agda