rzk-lang/rzk

Issues

• Unusual syntax for tuple patterns

  #192 opened 4 months ago by alicelogos
  3

• Tuples not treated as valid patterns in parameter declarations

  #190 opened 5 months ago by alicelogos
  1

• Higher inductive types

  #113 opened 2 years ago by jonweinb
  2

• rzk-0.7.4 failed to build in Stackage Nightly

  #186 opened 7 months ago by juhp
  0

• Syntax sugar for nested Sigma types

  #140 opened a year ago by fizruk
  1

• Update nixpkgs

  #182 opened a year ago by deemp
  0

• Upload documentation when publishing on Hackage

  #180 opened a year ago by fizruk
  0

• Unused variables reported incorrectly

  #173 opened a year ago by fizruk
  0

• Lean 4's HoTT library

  #177 opened a year ago by Seasawher
  1

• Switch to GHC with JS backend

  #170 opened a year ago by deemp
  2

• Stack cache does not work on Windows builds on CI

  #135 opened a year ago by fizruk
  1

• Avoid double typechecking when computing cache invalidation

  #163 opened a year ago by fizruk
  0

• Make sure language server's handlers never crash

  #162 opened a year ago by fizruk
  0

• Add "rzk doc" command to build documentation

  #152 opened a year ago by fizruk
  0

• Add --rzk-yaml=FILE command line option

  #151 opened a year ago by fizruk
  0

• Detect and fix incorrect indentation

  #148 opened a year ago by aabounegm
  0

• Implement inserting line breaks in the formatter

  #147 opened a year ago by aabounegm
  0

• Add (optional) autoformatting to Rzk Playground

  #145 opened a year ago by fizruk
  0

• Improve Rzk Playground code (address minor issues)

  #122 opened a year ago by fizruk
  1

• Support macros and/or polymorphism to simplify proofs

  #143 opened a year ago by fizruk
  0

• Improve error messages for operators

  #142 opened a year ago by fizruk
  0

• Weird error message saying "expected a pattern"

  #141 opened a year ago by emilyriehl
  1

• "Global" assumptions or axioms (spreading across multiple files)

  #139 opened a year ago by fizruk
  0

• Create a cachix cache

  #127 opened a year ago by deemp
  3

• Display Rzk version on the Playground

  #138 opened a year ago by fizruk
  0

• Add upper bounds on dependencies

  #134 opened a year ago by fizruk
  0

• Version 0.6.6 is not available on Hackage yet

  #132 opened a year ago by fredrik-bakke
  2

• Allow (certain) maps between shapes

  #129 opened a year ago by TashiWalde
  1

• Better local inference for identity types

  #130 opened a year ago by fizruk
  0

• Products don't work for subshapes

  #111 opened 2 years ago by TashiWalde
  1

• Quantification on subshapes forgets the super-shape

  #128 opened a year ago by kyoDralliam
  1

• Subshapes

  #110 opened 2 years ago by emilyriehl
  0

• LEM is applied too eagerly in the tope solver

  #101 opened 2 years ago by fizruk
  0

• Allow chains of equations

  #97 opened 2 years ago by fizruk
  0

• Implicit arguments

  #96 opened 2 years ago by fizruk
  0

• Count variables used in #compute and #check as used

  #94 opened 2 years ago by fizruk
  0

• Allow points in cubes/shapes in assumptions

  #93 opened 2 years ago by fizruk
  0

• Add #let command

  #92 opened 2 years ago by fizruk
  0

• Syntax error on sections left open at the end of a file

  #90 opened 2 years ago by kyoDralliam
  0

• Add location information to error messages

  #81 opened 2 years ago by aabounegm
  0

• Add #fail command to ensure another definition (or command) to fail

  #75 opened 2 years ago by fizruk
  0

• Linux binary does not work on Ubuntu 20.04

  #72 opened 2 years ago by emilyriehl
  2

• Error parsing code blocks with attributes

  #63 opened 2 years ago by fredrik-bakke
  1

• Add `--version` command

  #62 opened 2 years ago by fredrik-bakke
  5

• Publish the MkDocs SVG rendering plugin as a PyPI package

  #54 opened 2 years ago by aabounegm
  1

• undefined variable: Eq

  #56 opened 2 years ago by jonweinb
  4

• Add shape types, coerce cubes and shapes to types

  #50 opened 2 years ago by fizruk
  0

• Split into modules

  #48 opened 2 years ago by fizruk
  0

• Document syntax properly

  #47 opened 2 years ago by fizruk
  0

• Fix collection of free variables in typed terms

  #46 opened 2 years ago by fizruk
  0