Pascal Poizat
Pascal Poizat
The table refers to Emacs (using intero) but no detail is given. On the other hand, Spacemacs (http://spacemacs.org) has a Haskell layer (here: http://spacemacs.org/layers/+lang/haskell/README.html) with an online doc which is...
It seems that when a model is incorrect the result given is PENDING / SUCCESS instead of telling the user that the model is indeed incorrect. See eg with this...
Add documentation on how to give time information for time-related BPMN constructs (following ENASE'21).