-
keyboard_arrow_down
A World of Emacs
45 Mins
Demonstration
Beginner
GNU Emacs is a popular text editor for functional programming (Clojure, Haskell, Idris et. al.). This talk provides a demonstration of using GNU Emacs as part of your daily workflow. The different topics that will be addressed include project and time management, development, IRC, DevOps, managing secret files, e-mail, listening to music, reading news feeds, blogging, book publishing, etc. Emacs Lisp code snippets will be shared to demonstrate the setup and customization. The ~/.emacs.d configuration is available at:
https://github.com/shakthimaan/cask-dot-emacs -
-
keyboard_arrow_down
Lambdaaaaaaaaaa Calculus
60 Mins
Talk
Beginner
This talk is an introduction on lambda calculus and will address the foundations of functional programming languages.
We will learn the building blocks of lambda calculus - syntax, rules, and application. -
-
No more submissions exist.
