rzk 0.4.1 → 0.4.1.1

raw patch · 1 files changed

+1/−1 lines, 1 files

Files

rzk.cabal +1/−1

rzk.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           rzk-version:        0.4.1+version:        0.4.1.1 synopsis:       An experimental proof assistant for synthetic ∞-categories description:    Please see the README on GitHub at <https://github.com/fizruk/rzk#readme> category:       Dependent Types