# mpri-funcprog-project

MPRI Functional Programming project, whose subject can be found
[here](https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/project/sujet.pdf)

## Features checklist

* Performs CPS
* Performs defunctionalization
* Pretty-prints nicely intermediary languages
* Removes var-var bindings

## Wish list

* Perform an intelligent CPS transform (many continuations aren't actually even
  remotely needed at the moment)
* Handle correctly functions of arity > 1 (WARNING, cannot partially evaluate a
  function in C)