ltbinsbe/lambda-security-tags

lambda-security-tags

Requires https://hackage.haskell.org/package/gll

To install:

  cabal install gll

  cabal build

To run:

  dist/build/runlam/runlam programs/<file-name>.lam