Skip to content

halogen-petrinet-editor: Clean up and trim dependencies. #338

@epost

Description

@epost
  • Don't depend on purescript group lib.
  • Remove some prefixes in PetrinetEditor.purs
  • Get rid of the htmlMarking stuff? Not being used atm and may complicate dependencies.

Metadata

Metadata

Assignees

Labels

buildbuild, deploy, CI

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions