agda2scheme icon indicating copy to clipboard operation
agda2scheme copied to clipboard

Published 20 hours ago • verified publisher icon jespercockx

Add a Makefile

Open jespercockx opened this issue 2 years ago • 0 comments

jespercockx avatar May 12 '22 07:05 jespercockx