idris-ct icon indicating copy to clipboard operation
idris-ct copied to clipboard

Published 20 hours ago • verified publisher icon statebox

Generalize graph, rename old def to finite graph

Open clayrat opened this issue 5 years ago • 1 comments

clayrat avatar Aug 29 '19 18:08 clayrat

Yeah, I could spend a bit more time to special-case it.

clayrat avatar Aug 30 '19 14:08 clayrat