[Agda] Hoogle for Agda?

John Leo leo at halfaya.org
Thu Feb 15 17:27:03 CET 2018


I recall a bachelors or masters student at Chalmers was working on such a
project, but I’m not sure what became of it.

John

On Thu, Feb 15, 2018 at 7:52 AM Philip Wadler <wadler at inf.ed.ac.uk> wrote:

> Is there anything like Hoogle for Agda? It would save newbies like me a
> *lot* of time. Cheers, -- P
>
-- 
John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180215/f75383d3/attachment.html>


More information about the Agda mailing list