This directory contains projects that do not deserve their own repository. Towards an encoding for open datatypes in Agda Abstract and virtual machines in theory of computation Lazy data structure with quick access Parameterized Higher Order Abstract Syntax What is the connection between the Zipper and direct traversal? Encoding type classes in Agda