Hacker News new | ask | show | jobs
by danghica 4022 days ago
You would still need to program in Agda though :) Cheers!