3 ms·Oh it’s a ML alright, fits right next to Agda for example.by navaati 3y agoOh it’s a ML alright, fits right next to Agda for example.