Closed glmxndr closed 3 years ago
Otherwise new versions of idris2 complain with '{x} is not accessible in this context'
Thanks!
Otherwise new versions of idris2 complain with '{x} is not accessible in this context'