Idris Mac Setup
Here's a short overview of how to install Idris on a Mac,
LambdaCat is a blog which explains visually and succinctly interesting/useful/cool Functional Programming tidbits.
Here's a short overview of how to install Idris on a Mac,
I recently decided to retrain myself as a terminal Emacs user (I'm
If you prefer IDEs, but still want to edit Erlang with Emacs, the right
I have recently started programming Erlang again, and I also decided to retrain myself
I recently decided to retrain myself as a terminal Emacs user (I'm