Simon Peyton-Jones <simonpj@...> writes: > > See also http://hackage.haskell.org/trac/ghc/wiki/NewAxioms > (as yet unimplemented) > > Simon >
Thank you Simon (and Pedro). Are you inviting comment/suggestions/requests for clarification at this stage? (Or is this under-the-radar research?) There is plenty of prior work/similar ideas to include in the references. How's the best way to help? (Without unleashing a maelstrom.) AntC _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime