jesper, 3 months ago New blog post about core languages and #Agda: "6 Reasons in favor of a core language, and 5 against" jesper.cx/posts/why-not-a-core-language.html
New blog post about core languages and #Agda: "6 Reasons in favor of a core language, and 5 against"
jesper.cx/posts/why-not-a-core-language.html