[Agda] Blog post: The Agda's New Sorts

[Jesper Cockx]

Hi all,

Yesterday I posted a blog post on the recent work I did on Agda's handling
of sorts. You can read it here:
https://jesper.sikanda.be/posts/agdas-new-sorts.html

Any comments are very welcome here on this list!

Cheers,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180504/d190c5ac/attachment.html>