Marco Perone - Fun With Categories


See https://github.com/statebox/idris-cthttps://www.idris-lang.org/ and https://github.com/idris-hackers. And lo and behold, it even includes a set of EMACS bindings! See Ian Grant's Weather Report agosto 01, 2022, at 8:22:


So it's boiled down to a choice of type disciplines? And that means we all have to use GNU EMACS? 😂 

Subscribe to Lambda World.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023