Hacker News new | ask | show | jobs
by gclaramunt 4115 days ago
Computing a type level factorial can take more than 1 minute :)