29 May
2012
29 May
'12
6:03 a.m.
Simon Peyton-Jones
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