phynfo/Hardware-Modeling-with-Arrows2 — pull request #8 by frosch03 (2012-11-27 13:25:59+00:00)
Title: The next Iteration

* general revised
* added some words about dependently typed languages