/Megarecord

My experiment about implementing Row Polymorphism in current Haskell

Primary LanguageHaskellApache License 2.0Apache-2.0

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