cubeViz2 icon indicating copy to clipboard operation
cubeViz2 copied to clipboard

Published 20 hours ago • verified publisher icon marcinjangrzybowski
→

Metadata

Results 7 cubeViz2 issues
Sort by recently updated
recently updated
newest added

How to use this?

3 comment

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

nekoscythe avatar nekoscythe

Couple performance examples

tomjack avatar tomjack

add command line argument to specify output for text interface

marcinjangrzybowski avatar marcinjangrzybowski

parametrized generic terms, with interactive interface

marcinjangrzybowski avatar marcinjangrzybowski

cubicaltt as code generation target

marcinjangrzybowski avatar marcinjangrzybowski

Selecting faces of the cells with numeric keys

Faces of the cell are already listed at the bottom of the window, so it should be easy

marcinjangrzybowski avatar marcinjangrzybowski

Undo

Often the results of conflict resolutions are unexpected, so it would be nice to be able to easily go back to state before

marcinjangrzybowski avatar marcinjangrzybowski

← Metadata

22
Stars
2
Forks
Watchers

Owner

verified publisher icon marcinjangrzybowski

Metadata

Back