phynfo/Hardware-Modeling-with-Arrows2 — pull request #5 by frosch03 (2012-10-29 11:21:47+00:00)
Title: actual version with merged refinements 

... :)