search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
203 stars 51 forks source link

[.travis.yml] Test out with OCaml 4.09 #159

Closed artagnon closed 4 years ago

artagnon commented 4 years ago

Most users will probably have this configuration, so let's put it in Travis.

Lysxia commented 4 years ago

That's fair. Thanks!