ocamllabs/ocaml-modular-implicits — pull request #19 by lpw25 (2014-09-30 20:28:43+00:00)
Title: Add forward propagation

This PR adds forward type propagation, as well as fixing a few bugs around recursive defintions.