Nabil Hassein nabilhassein

• New York, NY

Pinned Loading

1. hand-rolled emacs configuration

   Emacs Lisp

2. Exercises from Edwin Brady's forthcoming "Type-Driven Development with Idris" through the Manning Early Access Program

   Idris 3