This is the Haskell Equational Reasoning Assistant, version 2.1

How to build

 make boot
  (make 3 packages, hera-engine, hera-ajaxgui, hera-prelure)
 cd example
 make subhs
 make