Skip to content

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

Open
Open
halogen-petrinet-editor: Clean up and trim dependencies.#338
Assignees
epost
Labels
buildbuild, deploy, CI

Description

@epost
epost
opened on Feb 7, 2020
  • 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.

Activity

  1. epost
    added
    buildbuild, deploy, CI
    on Feb 7, 2020
  2. epost
    self-assigned this
    on Feb 7, 2020
  3. epost
    added 2 commits that reference this issue on Feb 7, 2020

    halogen-petrinet-editor: Remove dependency on purescript-group. #338

    902a29f

    halogen-petrinet-editor: Remove dependency on purescript-group. #338

    167299f
  4. epost
    changed the title [-]halogen-petrinet-editor: Remove dependency on purescript-group.[/-] [+]halogen-petrinet-editor: Clean up and trim dependencies.[/+] on Feb 7, 2020
  5. epost
    added a commit that references this issue on Feb 7, 2020

    halogen-petrinet-editor: Clean up and trim dependencies. #338 (WIP) (#…

    4916130
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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