Arc Forumnew | comments | leaders | submitlogin
6 points by cadaver 6146 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 6146 days ago | link

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

-----