Library for creating Secure Web Applications using Information-Flow Control, designed to be used with the Haste compiler. Done as Master Thesis.
** This project is now killed as it was part of my thesis. Will be continued and partly re-written in https://github.com/alexandersjosten/swap-ifc **