• Simon Cruanes's avatar
    small change for apidoc · e05064c1
    Simon Cruanes authored
    gitignore updated (vim swap files and .svn dirs)
    bug corrected in explicit_polymorphism for formulae translation
    e05064c1
explicit_polymorphism.ml 14.4 KB