comparison whileTestPrimProof.agda @ 73:52acd110df18

fix
author ryokka
date Thu, 26 Dec 2019 17:39:56 +0900 (2019-12-26)
parents 9071e5a77a13
children a7263ecf8671
comparison
equal deleted inserted replaced
72:66ba3b1eec0a 73:52acd110df18