Arc Forumnew | comments | leaders | submitlogin
6 points by cadaver 5916 days ago | link | parent

Please note that there is a space between ,@ and body in 'predicate-calculus, which is probably a typo.


3 points by cchooper 5916 days ago | link

Thanks. Luckily, that doesn't seem to break it.

-----