mini languages which demonstrate various techniques in design and implementation of programming languages. The languages are implemented in Objective Caml. I teach Theory of Programming Languages at University of Ljubljana. For the course I implemented languages which demonstrate basic concepts such as parsing, type checking, type inference, dynamic types, evaluation strategies, and compilation. They are deliberately very simple, as each language introduces only one or two new basic ideas. You should find the source code useful if you want to learn how things are done. calc, miniml, boa, levy