5 ms·Yeah, he talks as if this hasn't been tried before. See agda or Idris.by deltaonefour 5y agoYeah, he talks as if this hasn't been tried before. See agda or Idris.