Hacker News new | ask | show | jobs
by Tainnor 806 days ago
it's technically false for Haskell, but is considered mostly good practice. It would be true for Idris.