Static security for database-backed Haskell applications using Liquid Haskell
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
This repository contains the Storm code.
For examples of usage, see:
License:BSD 3-Clause "New" or "Revised" License