Fork: 0
iw / support
Transfer to URL with SHA Find file
Newer
Older
support / domain / proof / command / model / src / State.scala
Michal Prihoda on 8 Mar 2022 74 bytes Persistent entity implemented.
Raw Blame History 
package mdr.pdb
package proof
package command

type State = Option[Proof]