In a bid to expand my programming brain by learning something about "dependent types", I recently bought the Idris book. (Idris is a pure functional programming language that is mostly known for supporting dependent types. Not knowing what that really meant, and seeing that this recently-published book written by the author of the language was… Continue reading Notes on Idris