So Reddit has decided that plain HTML is unsafe

The E-Graph Data Structure

The e-graph data structure: a gradual introduction

Squeezing a Sokoban game into 10 lines of Haskell