Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • 53-quantity-discrete-delete-grid-gridname-properties
  • 36-revise-subs
  • 49-simplify-internal-methods
  • 47-multiplication-of-empty-quantities
  • 28-domain-argument-as-required-argument
  • quantityFunctionFixes
  • standDiss
  • 34-changeGrid
  • Velimir
  • Extend_isConstant
  • Haoyue
  • velimir
  • 2020-ifac-wc
14 results

coni

  • Clone with SSH
  • Clone with HTTPS
  • Master's Thesis

    In the absence of a project name: This is my master's thesis

    Building

    stack build

    Running

    There isn't much to see, yet. To see pretty printed parse results, use:

    stack exec ma < FILENAME

    Where FILENAME is a file describing the input. Examples are in examples/.

    API documentation

    The documentation for the internal API can be built and opened in the default browser with:

    stack haddock --open ma

    This can help to understand the code structure.