Ensuring Information Security by Using Haskell's Advanced Type System
Library presented in Ensuring Information Security by Using Haskell's Advanced Type System.
Security contains the actual library implementation and has no dependencies. Src contains an application example as described in the paper. It depends on aeson, aeson-pretty and text. For running the application you should start Main.hs.