rzk (hackage): Please see the README on GitHub at https://github.com/fizruk/rzk#readme
Keywords: bsd3|dependent-types|library|program|category-theory|haskell|homotopy-type-theory|proof-assistant