This project is planned to be a compiler from linear lambda calculus expressions to a Geometry Of Interaction based computation model, implemented in Haskell.
//\\
\\
/\\ \\ // \\ //
// \\ \\// \\//
// \\ //\\ //\\
// \\// // \\ || // \\