issues
search
lpw25
/
girards-paradox
A "implementation" of Girard's paradox in OCaml
104
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Are you able to extend this to make the type checker diverge?
#1
monsanto
opened
9 years ago
1