alhassy

My Emacs configuration, literately :smile:

Quick reference to the core language of Emacs ---Editor MACroS.

A number of new custom blocks and link types for Emacs' Org-mode ^_^

Pretty cheat sheets, or ``reference cards'', obtainable from Org files.

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Reference of basic commands to get comfortable with OCaml.

Basics of relational programming with Prolog —PROgramming in LOGic ^_^

Basics of the dependently-typed functional language Agda ^_^

Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و

A reference sheet for the basics of the mind-expanding Haskell language ^_^

Reference sheet of the basics of F# ^_^

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''