Part of university project: implementing a functional language with call-by-need evaluation, using the k framework.