Andromedans/andromeda

Issues

• dispatching on arguments that bind variables

  #540 opened 4 years ago by mikeshulman
  0

• Automatic principal arguments in eqchk

  #539 opened 4 years ago by anjapetkovic
  0

• Failed assertion

  #538 opened 4 years ago by mikeshulman
  1

• Runtime exceptions are printed in wrong environment

  #532 opened 5 years ago by haselwarter
  0

• Printing of local contexts in argument position is reversed

  #533 opened 5 years ago by haselwarter
  0

• `open` should be forgotten at the end of a module

  #521 opened 5 years ago by andrejbauer
  3

• Allow patterns in `fun`

  #525 opened 5 years ago by andrejbauer
  0

• Fail gracefully when an atom appears in a derived rule.

  #479 opened 5 years ago by andrejbauer
  0

• Why do term equalities have a type annotation?

  #452 opened 5 years ago by andrejbauer
  0

• Fix `context`

  #489 opened 5 years ago by andrejbauer
  0

• Require each module at most once

  #511 opened 5 years ago by andrejbauer
  0

• Fix `coerce`

  #510 opened 5 years ago by andrejbauer
  0

• Improve the `eq` module

  #512 opened 5 years ago by andrejbauer
  0

• Standard library

  #464 opened 5 years ago by andrejbauer
  1

• Print type of a term judgement

  #476 opened 5 years ago by andrejbauer
  1

• Allow unicode in operators

  #481 opened 5 years ago by mikeshulman
  2

• Update documentation and the web page

  #466 opened 5 years ago by andrejbauer
  0

• Boundary of an ill-typed equality?

  #488 opened 5 years ago by mikeshulman
  2

• The type of abstraction

  #485 opened 5 years ago by andrejbauer
  1

• Properly implement equality meta-variables, or at least hack them correctly

  #490 opened 5 years ago by andrejbauer
  2

• Equality checking

  #463 opened 5 years ago by andrejbauer
  1

• Printing of atoms and meta-variables

  #468 opened 5 years ago by andrejbauer
  0

• Matching against a neutral application

  #487 opened 5 years ago by mikeshulman
  4

• The dynamically-variadic nature of "congruence"

  #486 opened 5 years ago by mikeshulman
  2

• Abstracting/annotating the result of a recursive call

  #482 opened 5 years ago by mikeshulman
  6

• Fixing typing annotations on recursive functions

  #484 opened 5 years ago by andrejbauer
  0

• Separate the "judgement or boundary" in `Syntax`

  #475 opened 5 years ago by andrejbauer
  1

• Printing of derived rules

  #462 opened 5 years ago by andrejbauer
  0

• Introduce an `abstract` command

  #469 opened 5 years ago by andrejbauer
  4

• Improve AbstractAtom case in check_judgement in eval

  #477 opened 5 years ago by anjapetkovic
  0

• Use `indices` more consistently

  #474 opened 5 years ago by andrejbauer
  0

• Congruence errors

  #472 opened 5 years ago by mikeshulman
  2

• compilation problem

  #470 opened 5 years ago by mikeshulman
  0

• Compile with dune and make Andromeda into an OPAM package

  #465 opened 5 years ago by andrejbauer
  2

• Editing modes

  #467 opened 5 years ago by andrejbauer
  0

• Add build instructions to the README

  #461 opened 5 years ago by meteficha
  2

• Congruence rules for meta-variables.

  #451 opened 5 years ago by andrejbauer
  0

• Add string literals as patterns

  #433 opened 5 years ago by andrejbauer
  0

• Make `Runtime.value` public

  #411 opened 5 years ago by andrejbauer
  1

• AML typing should normalize the type before it matches on it

  #394 opened 5 years ago by andrejbauer
  2

• Incorrect ɒ-conversion

  #419 opened 6 years ago by andrejbauer
  0

• Consistent naming of AML predefined types and constructors

  #407 opened 6 years ago by andrejbauer
  0

• Change parser so that `let_clause` matches `Dsyntax`

  #410 opened 6 years ago by andrejbauer
  1

• Print the type of computed value.

  #413 opened 6 years ago by andrejbauer
  0

• Get rid of `do` and `fail`

  #414 opened 6 years ago by andrejbauer
  0

• When guards for pattern matching

  #389 opened 6 years ago by haselwarter
  0

• Use printing boxes correctly

  #395 opened 6 years ago by andrejbauer
  0

• Make tests great again.

  #393 opened 6 years ago by andrejbauer
  0

• Replace all `failwith` with errors

  #392 opened 6 years ago by andrejbauer
  0

• Fix printing of abstractions / arguments of constructors

  #390 opened 6 years ago by haselwarter
  0