Skip to content

v0.11.3
Compare
Choose a tag to compare
@liyishuai liyishuai released this 24 Nov 11:30
· 58 commits to master since this release
v0.11.3
159c361
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Deprecated

  • curry and uncurry, which were added to Coq standard library since 8.13 (#98)

Removed

  • Backtick notations to avoid conflict with standard library (#97, by #99)
  • Definitions that exist in standard library (#98)
Assets 2