cubeViz2 icon indicating copy to clipboard operation
cubeViz2 copied to clipboard

Published 20 hours ago • verified publisher icon marcinjangrzybowski

How to use this?

Open nekoscythe opened this issue 1 year ago • 3 comments

I'm new to agda and I can't figure out how to use this program. Any help will be appreciated.

nekoscythe avatar Jul 18 '23 07:07 nekoscythe