@hackage why30.8

Haskell support for the Why3 input format.

This package implements the Why3 language parser and printer.