Changelog of @hackage/rme-what4 0.1.1

Revision history for rme-what4

0.1.1

  • Added support for uninterpreted functions

0.1

  • First version.