@hackage kuifje0.1.0.0

A Quantitative Information Flow aware programming language.

Categories
License
BSD-3-Clause
Maintainer
marton.bognar@student.kuleuven.be
Links
Versions
- 0.1.2.0 Tue, 10 Sep 2019
- 0.1.1.0 Fri, 6 Sep 2019
- 0.1.0.0 Fri, 6 Sep 2019

Installation
In your cabal file:
Dependencies (5)
- base >=4.9 && <4.10
- containers >=0.5 && <0.6
- boxes >=0.1 && <0.2
- lens >=4.17 && <4.18
- unordered-containers >=0.2.10 && <0.3
Dependents (0)

A prototype for a Quantitative Information Flow aware programming language. Based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.

@hackage kuifje0.1.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (5)

Dependents (0)