diff --git a/README.md b/README.md index 7845fc4..ea9a6d7 100644 --- a/README.md +++ b/README.md @@ -2,3 +2,17 @@ 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)