@hackage maam0.1.0.0

A monadic framework for abstract interpretation.

Categories
License
BSD-3-Clause
Maintainer
david.darais@gmail.com
Links
Versions
- 0.3.0.0 Tue, 27 Oct 2015
- 0.2.0.1 Thu, 2 Apr 2015
- 0.2.0.0 Thu, 2 Apr 2015
- 0.1.0.0 Fri, 23 Jan 2015

An implementation of Galois Transformers, a monadic framework for abstract interpretation.