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
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions