ESSLLI2016
·
1227 commits
to master
since this release
various bug fixes, improvement of OWL2CASL translation, compatibility with ghc 8.0
various bug fixes, improvement of OWL2CASL translation, compatibility with ghc 8.0