issues
search
lpw25
/
girards-paradox
A "implementation" of Girard's paradox in OCaml
104
stars
2
forks
source link
readme