20 May
2014
20 May
'14
3:09 p.m.
On Wed, May 21, 2014 at 1:38 AM, Evan Laforge
So perhaps the way forward is to find the old proposal (or make a new one, if it's gone), and see if Idris's solution applies to haskell.
Is Idris's solution written up anywhere? Mind sharing the link? -- Kim-Ee