2 ms·You had better stick with Agda or Coq then ;)by willtim 9y agoYou had better stick with Agda or Coq then ;)catnaroek 9y agoNah, Standard ML will do just fine.