Holes in GHC

Simon Peyton-Jones simonpj at microsoft.com
Thu Jan 26 20:36:43 CET 2012

|  > Let me try to describe the goal better. The intended users are people
|  > new to Haskell or people working with existing code they are not
|  > familiar with.
|  Also me. I want this feature. 

My question remains: what is the feature?   Agda has a sophisticated IDE; is that a key part of "the feature".  I expect so.


More information about the Glasgow-haskell-users mailing list