issues
search
polarity-lang
/
polarity
A Language with Dependent Data and Codata Types
https://polarity-lang.github.io
Apache License 2.0
50
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix 271
#274
BinderDavid
closed
1 month ago
0
Fix #270
#273
BinderDavid
closed
1 month ago
0
Bump webpack from 5.77.0 to 5.94.0 in /web
#272
dependabot[bot]
closed
1 month ago
0
Refunctionalizing Nat in covect example results in errors
#271
timsueberkrueb
closed
1 month ago
2
Defunctionalizing the function type yields parser error
#270
timsueberkrueb
closed
1 month ago
0
Licensing the web demo
#269
timsueberkrueb
closed
1 month ago
2
New web demo
#268
timsueberkrueb
closed
1 month ago
0
Add Makefile target for computing code coverage
#267
BinderDavid
opened
1 month ago
0
Search cases recursively
#266
BinderDavid
closed
2 months ago
0
Fix parser ambiguities
#265
BinderDavid
closed
2 months ago
3
Use generic ctx
#264
BinderDavid
closed
2 months ago
0
Make level context consistent with other contexts
#263
BinderDavid
closed
2 months ago
1
Inherit crate metadata from workspace
#262
BinderDavid
closed
2 months ago
1
Refactor Context trait
#261
BinderDavid
closed
2 months ago
0
Refactor constraints
#260
BinderDavid
closed
2 months ago
0
Refactor local match inference
#259
BinderDavid
closed
2 months ago
3
Reorganize prettyprinting
#258
BinderDavid
closed
2 months ago
0
Remove TypApp from CST; use Call instead
#257
BinderDavid
closed
3 months ago
0
Eliminate the `syntax::common` namespace
#256
BinderDavid
closed
3 months ago
0
Catch panics in the testsuite driver
#255
BinderDavid
closed
3 months ago
0
Testsuite should continue running tests in the presence of panics
#254
BinderDavid
closed
3 months ago
0
Inline beta_(co)match and improve docs
#253
BinderDavid
closed
3 months ago
0
Remove the omit_absurd feature
#252
BinderDavid
closed
3 months ago
0
Add regression test for bug #250
#251
BinderDavid
closed
3 months ago
1
Panic when defining the empty product as a `codef` of a `codata` N-ary product
#250
eternaleye
closed
3 months ago
3
Consider internal usage of Resugarable Syntax principles for sugars
#249
eternaleye
opened
3 months ago
0
Implement named arguments in CST and parser
#248
BinderDavid
closed
3 weeks ago
0
Bump ws from 8.8.0 to 8.17.1 in /web
#247
dependabot[bot]
closed
3 months ago
0
Add implicit params
#246
BinderDavid
closed
3 months ago
0
Remove debug option
#245
BinderDavid
closed
3 months ago
1
Refactor testsuite
#244
BinderDavid
closed
3 months ago
0
Bump braces from 3.0.2 to 3.0.3 in /web
#243
dependabot[bot]
closed
3 months ago
0
Simplify testsuite driver
#242
BinderDavid
closed
3 months ago
0
Add a custom lexer
#241
BinderDavid
closed
4 months ago
1
Remove match
#240
BinderDavid
closed
4 months ago
0
Simplify printer
#239
BinderDavid
closed
4 months ago
0
Remove unused module
#238
timsueberkrueb
closed
4 months ago
0
Design for implicit parameters
#237
timsueberkrueb
closed
23 hours ago
3
Distinguish two kinds of holes
#236
timsueberkrueb
closed
2 weeks ago
0
Move lsp and miette_util to lang subdirectory
#235
BinderDavid
closed
4 months ago
0
Fix 230
#234
BinderDavid
closed
4 months ago
0
Replace logging infrastructure
#233
BinderDavid
closed
4 months ago
13
Reduce duplication in definition of contexts
#232
BinderDavid
closed
2 months ago
0
Simplify substitution
#231
BinderDavid
closed
4 months ago
0
Evaluation of DotCalls with let-bound definition fails
#230
BinderDavid
closed
4 months ago
0
Centralize definition of possible attributes
#229
BinderDavid
closed
4 months ago
0
Implement initial syntax for implicit parameters
#228
timsueberkrueb
closed
4 months ago
0
Centralize knowledge about attributes
#227
BinderDavid
closed
4 months ago
0
Lower, typecheck, and normalize let bindings
#226
timsueberkrueb
closed
4 months ago
0
Remove ForgetTST trait
#225
BinderDavid
closed
4 months ago
0
Previous
Next