narc-rs icon indicating copy to clipboard operation
narc-rs copied to clipboard

Published 20 hours ago • verified publisher icon owo-lang

Reconsider LHS checking algorithm

Open ice1000 opened this issue 3 years ago • 0 comments

I guess, probably I should write it myself, instead of trying to translate Agda.

ice1000 avatar Oct 05 '20 03:10 ice1000