Megarecord
This is currently just an experiment on how far you can go with the GHC type system.
The result of all this is a revised proposal for builtin Row Polymorphism in GHC
My experiment about implementing Row Polymorphism in current Haskell
HaskellApache-2.0
This is currently just an experiment on how far you can go with the GHC type system.
The result of all this is a revised proposal for builtin Row Polymorphism in GHC