From 9a1b6fb177bc674c9517ed5ed5eaf012b3a99d52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Fri, 16 Feb 2018 02:55:12 +0100
Subject: [PATCH] Update what's done and to do

Brief list from the top of my head, nothing binding nor exhaustive
---
 README.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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)