Hacker News new | ask | show | jobs
by navaati 1142 days ago
Oh it’s a ML alright, fits right next to Agda for example.