[Agda] Newbie questions after reading Dependently Typed Programming in Agda

[Nils Anders Danielsson]

On 2010-10-14 21:42, Oscar Finnsson wrote:
> I was under the impression that {! !} should find possible solutions
> and let me insert them but maybe I've misunderstood the feature?

This sounds like a feature of Alfa, a front-end for Agda 1:

   http://www.cse.chalmers.se/~hallgren/Alfa/

--
/NAD