mbg/semantics-exercises — pull request #2 by alexbate (2014-11-08 18:53:51+00:00)
Title: Fix typo

Semantics say nat instead of bool