mirleft/ocaml-tls — pull request #112 by pqwy (2014-06-06 10:43:32+00:00)
Title: Domain-specific languages

Combine superior expressivity of OCaml with a modern approach to natual language processing to create a domain-specific language for describing and enforcing assumptions.