Musa Al-hassy

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

alhassy

My Emacs configuration, literately :smile:

alhassy

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

alhassy

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

alhassy

Quick reference to the tremendously accessible high-level language of the web ^_^

alhassy

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

alhassy

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

alhassy

Reference of basic commands to get comfortable with OCaml.

alhassy

This project is to contain a listing of common theorems in elementary category theory.

alhassy

A slow-paced introduction to reflection in Agda. ---Tactics!

alhassy