Skip to content

v0.4.1
Compare
Choose a tag to compare
@julia-tagbot julia-tagbot released this 23 Dec 03:56
v0.4.1
This tag was signed with the committer’s verified signature.
JuliaTagBot Julia TagBot
GPG key ID: D8FCFD329B063E7E
Learn about vigilant mode.
87185e7

v0.4.1 (2019-12-23)

Diff since v0.4.0

Closed issues:

  • Special Morphisms in the Programs module (#63)
  • Migrate from Travis CI to GitHub Actions (#59)
  • Missing codiagonal / logical structure in Bicategory of Relations implementation (#54)
  • Macro for defining generators (#6)

Merged pull requests:

  • Migrate from Travis CI to GitHub Actions (#60) (epatters)
Assets 2
Loading