issues
search
stedolan
/
counterexamples
Counterexamples in Type Systems
http://counterexamples.org
372
stars
23
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Suggestion: overloading is exponential
#24
reverofevil
opened
1 week ago
0
Fix typo in Scoping
#23
tz18
closed
1 year ago
1
Suggestion: add definitional floating point equality
#22
alercah
opened
1 year ago
0
Distinctness II: Recursion is also applicable to Rust
#21
lcnr
opened
1 year ago
0
Eventually, nothing: factually inaccuracy about the C standard
#20
nneonneo
opened
1 year ago
1
Fix broken link to Derek Dreyer's thesis
#19
mheiber
opened
1 year ago
0
Please add Rust's bug, which is reverse of "Runtime type misinformation"
#18
safinaskar
opened
1 year ago
0
Modernize the Coq strict positivity example
#17
tchajed
opened
1 year ago
0
Fix broken link
#16
k4rtik
opened
1 year ago
0
fix typo in strict-positivity
#15
thyecust
opened
1 year ago
0
Proposed change to "Objects under construction"
#14
Quelklef
opened
2 years ago
0
Counterexample proposal: cross-stage persistence
#13
yallop
opened
2 years ago
0
Three more examples of monotonicity failures in OCaml
#12
yallop
opened
3 years ago
0
Eventually, nothing: Rust crush fixed
#11
WaffleLapkin
closed
3 years ago
0
Fix typo on dubious-evidence
#10
xvw
closed
3 years ago
1
Add a Flow/TypeScript bug around untagged union refinement
#9
wchargin
closed
3 years ago
6
Fix first example in "intersecting references"
#8
wchargin
closed
3 years ago
1
Code samples illegible in dark mode on Firefox/Chrome
#7
purcell
opened
3 years ago
6
Add gadt declaration in Metaocaml dubious evidence example
#6
aspiwack
closed
3 years ago
1
Syntax highlight more languages
#5
aspiwack
closed
3 years ago
1
Generative functors
#4
elpinal
opened
3 years ago
1
Fun missing check in SPARK
#3
touisteur
opened
3 years ago
1
Add another piece of dubious evidence
#2
yallop
closed
3 years ago
1
Fix a few typos
#1
craigfe
closed
3 years ago
1