101companies/101implementations — pull request #2 by jlouis (2012-01-08 15:22:39+00:00)
Title: Implement the basis of a Coq implementation.

This provides a very simple 101companies implementation, built off of the Haskell code more or less. Next up is to add some dependent type rules to the company making sure managers earn more than their employees by static verification.