Hackage packages #
debug-trace-file [source]
Debug.Trace like functions to trace to files.
line-indexed-cursor [source]
Lazily builds the index with the line numbers while reading the file making it possible to rewind to them quickly later.
lean4 packages #
temple.lean [source]
A rudimentary template engine written in Lean4 without fancy dependent types and useful operators yet. It can parse, build a tree, and substitute using de Bruijn Indices.
Educational #
Introduction to Functional Programming (in Russian) (2019 - 2021) (Haskell)
I helped to create and teach an online course that uses Haskell to introduce bachelor students to functional programming at Ural Federal University.
cubicaltt (Haskell, Reflex, GHCJS, Monaco) [source]
A web version of cubicalltt, built to reduce the entrance barrier (no need to install Emacs/build from sources).