Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Informatik 8
CoPaR
Repository
copar
ma.cabal
Find file
Blame
History
Permalink
Import (non-refinable) partition type
· fd97349d
Hans-Peter Deifel
authored
Jun 05, 2018
This represents an immutable partition of states into blocks.
fd97349d