search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

Remove ANSI Control Chars from Golden Output #148

Open andygill opened 8 years ago

andygill commented 8 years ago

Port the ANSI remove pass from HERMIT shell to HERMIT.