Records in Haskell
Nils Anders Danielsson
nad at chalmers.se
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:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Modules
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Records
(I don't think the wiki pages above are entirely complete/up to date,
but for the purposes of this discussion they should do.)
--
/NAD
More information about the Glasgow-haskell-users
mailing list