@hackage / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

Latest1.0.1

About

Metadata

  • Last updated , by ryanglscott
  • License BSD-3-Clause
  • Maintained by: Andrew Farmer <afarmer@ittc.ku.edu>

  • Lottery factor: 0

Links

Installation

Readme

HERMIT Hackage version Build Status

The Haskell Equational Reasoning Model-to-Implementation Tunnel.