Hacker News new | ask | show | jobs
by Grothendieck 4299 days ago
The current version of the ATS language apparently uses libgmp to avoid the mentioned overflow issue: http://sourceforge.net/p/ats-lang/mailman/message/30692243/ .