Hacker News new | ask | show | jobs
by gleki 3961 days ago
Lojban now supports second order predicate logic.