Hacker News new | ask | show | jobs
Certified compilation in Agda (playingwithpointers.com)
1 points by thedigitalengel 4806 days ago