Report or block fkettelhoit
Contact Support about this user's behavior.Report abuse
A very short and simple implementation of (bottom-up) Datalog in JS
A Prelude for the Agda Standard Library
A data structure similar to Finger Trees. In Clojure.
An implementation of Finger Trees in Agda
A stack-based language written completely in LLVM assembly.
My talk about the finger trees data structure for the Fun Club / Haskell User Group meetup