dependent typeAgda cannot instan

dependent type - Agda: cannot instantiate metavariable - Stack Overflow
I'm fairly new to Agda and I'm trying to construct the Interval's lattice. So far I'
dependent typeAgda cannot instantiate metavariableStack Overflow
admin2小时前
20