pierric/thih-multiparam-fundep
Typing Haskell in Haskell with multi-parameter class and functional dependecies
from K&R's "The C programming Language"
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Typing Haskell in Haskell with multi-parameter class and functional dependecies
Type level numerics for Haskell using type families. Based on type-level.
mirror of the source code of the Xv6 operating system
A fork of ajhc to rewrite XV6