aGdaREP
aGdaREP copied to clipboard
gallais
Implementing grep in Agda
Results
1
aGdaREP issues
Sort by
recently updated
recently updated
newest added
Cf. https://semantic-domain.blogspot.com/2013/11/antimirov-derivatives-for-regular.html The current algorithm does not quotient derivatives over associativity, commutativity and idempotence rules (it does however quotient over identity rules). But we can do better: > we can...
enhancement