Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding

Artur Miguel Dias (NOVA University of Lisbon and NOVA LINCS) Simão Melo de Sousa (Universidade da Beira Interior and NOVA LINCS) Antonio Ravara (NOVA LINCS & FCT, NOVA University of Lisbon)

We present the motivation and principles that lead to the development of support for exercises on Formal Languages and Automata Theory in Learn-OCaml, its integration with OFLAT, our web based teaching environment (mostly implemented in OCaml), its uses in the classroom in two Portuguese Universities, and in supporting students independent work.