Source code

This is a reasearch project in its early beginning. As such, there is no compiler or interpreted existing yet. The aim is precisely to develop these. A trunk repository is not yet available either. The only thing at disposition for now are implementation pieces of a first prototype.

The prototype is implementated in Haskell. Hence, you will need GHC to run the code samples. In most cases, once you extracted the zipped code, just go to the folder and type: "ghci Main.hs" then evaluate "main".

Notice that the code  focuses solely on clarirty and simplicity. This comes at the price of speed which is not considered at all. Only axiomatic complexity is taken into consideration.