agda2scheme icon indicating copy to clipboard operation
agda2scheme copied to clipboard

Published 20 hours ago • verified publisher icon jespercockx

Add a test runner

Open jespercockx opened this issue 3 years ago • 0 comments

jespercockx avatar May 12 '22 07:05 jespercockx