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

Reply via email to