[Agda] proposal with WellFounded

[Ulf Norell]

On Tue, Aug 21, 2018 at 1:37 PM Sergei Meshveliani <mechvel at botik.ru> wrote:

> (what is a correct place to submit proposals on the language?)
>

The best place to submit language extension proposals is to the github
issue tracker:

https://github.com/agda/agda/issues/new

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180821/fd87bd01/attachment.html>