My name is Irfan Ali. Welcome to my website.
I’m interested in formal methods, PLT, economics, typography, and some math. I currently work as consultant writing and teaching Lean, Rocq, and Haskell. I occasionally post expository articles and insights here.
Blog
- Squish, Crease, Tear: A Simple Intuition for Open and Continuous Maps in Topology
- Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
- No Let, No Rec, No Problem: A Gentle Introduction to the Y and Z Combinators
Projects
- Myna: monospace typeface designed for symbol-rich programming
- Pilaf: micro-library to emulate structural pattern-matching in JavaScript
Colophon
I've tried to keep the design simple and minimal.
On the backend, website is hosted using Express.js running behind an Nginx (without any other dependencies).
On the front-end, I've used only the following dependencies:
- Highlight.js (for highlighting code snippets)
- Reveal.js (for displaying slides)
- MathJax (for displaying mathematical equations)