LightAndLight/eden
Experimenting with GHC's Backpack technology to create modular programming language representations
HaskellBSD-3-Clause
Experimenting with GHC's Backpack technology to create modular programming language representations
HaskellBSD-3-Clause