6 May
2017
6 May
'17
11:24 p.m.
For everyone who didn't notice, the original post was incorporated into this proposal: https://github.com/ghc-proposals/ghc-proposals/pull/52 which attracted less community attention than I hoped it would. Please check it out! On Wed, Apr 26, 2017 at 03:29:32PM +0300, mniip wrote:
This idea is very fresh, and I certainly haven't explored all the aspects, so I would welcome constructive (and intuitionistic) criticism regarding both usefulness and mathematical soundness of this.
--mniip