Skip to content

v1.9.0

Compare
Choose a tag to compare
@valis valis released this 04 Dec 22:40
· 221 commits to master since this release
  • Properties in \Sigma-types
  • Definition parameters are visible in the \where block
  • Global level declarations
  • Infix patterns
  • Axioms
  • Box expressions
  • Property parameters