passage icon indicating copy to clipboard operation
passage copied to clipboard
verified publisher icon cscherrer

build test

Open ocramz opened this issue 5 years ago • 0 comments

It now builds with minimal changes:

  • add stack.yaml
  • derive Applicative for some types
  • bump cabal min.version
  • add first example from pdf

However simulateSimple crashes with a *** Exception: observe: Model error. Node was observed before: TVar 2. It might be due to the syntax having drifted between the article and the repository (I used model since I couldn't find runModel).

ocramz avatar Mar 08 '20 15:03 ocramz