Changeset [aa51f35ee12ffb704183bdd0dfabe0f49a5e2037] by Douglas Creager

November 17th, 2008 @ 10:52 PM

Adding Show instance for patterns

This patch adds an instance of the Show type case for patterns, since we'll probably want to display them at some point. http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM/Types.hs
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.