Hacker News new | ask | show | jobs
by anonzzzies 600 days ago
any code to see? I like Idris so this would be interesting.