Records in Haskell

Nils Anders Danielsson nad at
Tue Jan 17 11:10:04 CET 2012

On 2012-01-16 19:16, Yitzchak Gale wrote:
> Allow nested modules. [...]

Perhaps Agda's module/record system can provide some inspiration:

(I don't think the wiki pages above are entirely complete/up to date,
but for the purposes of this discussion they should do.)


More information about the Glasgow-haskell-users mailing list