Issues

• dispatching on arguments that bind variables

  Andromedans/andromeda#540 · Filter by author mikeshulman opened on Sep 6, 2020

• Automatic principal arguments in eqchk

  Andromedans/andromeda#539 · Filter by author anjapetkovic opened on Aug 24, 2020

• Failed assertion

  Andromedans/andromeda#538 · Filter by author mikeshulman opened on Aug 23, 2020
  1

• Printing of local contexts in argument position is reversed

  bug
  Andromedans/andromeda#533 · Filter by author haselwarter opened on Apr 11, 2020 · Andromeda 2.0 public release

• Runtime exceptions are printed in wrong environment

  bug
  Andromedans/andromeda#532 · Filter by author haselwarter opened on Apr 11, 2020

• open should be forgotten at the end of a module

  bug
  Andromedans/andromeda#521 · Filter by author andrejbauer opened on Feb 18, 2020 · Andromeda 2.0 public release
  3

• Improve the eq module

  Andromedans/andromeda#512 · Filter by author andrejbauer opened on Jan 22, 2020 · Andromeda 2.0 public release

• The type of abstraction

  enhancement
  Andromedans/andromeda#485 · Filter by author andrejbauer opened on Nov 25, 2019
  1

• Fixing typing annotations on recursive functions

  enhancement
  Andromedans/andromeda#484 · Filter by author andrejbauer opened on Nov 25, 2019 · Andromeda 2.0 public release

• Abstracting/annotating the result of a recursive call

  Andromedans/andromeda#482 · Filter by author mikeshulman opened on Nov 24, 2019
  6

• Allow unicode in operators

  Andromedans/andromeda#481 · Filter by author mikeshulman opened on Nov 24, 2019
  2

• Improve AbstractAtom case in check_judgement in eval

  Andromedans/andromeda#477 · Filter by author anjapetkovic opened on Nov 7, 2019

• Use indices more consistently

  cleanup
  Andromedans/andromeda#474 · Filter by author andrejbauer opened on Nov 7, 2019

• Editing modes

  Andromedans/andromeda#467 · Filter by author andrejbauer opened on Sep 11, 2019 · Andromeda 2.0 public release

• Update documentation and the web page

  Andromedans/andromeda#466 · Filter by author andrejbauer opened on Sep 11, 2019 · Andromeda 2.0 public release
  

• Compile with dune and make Andromeda into an OPAM package

  Andromedans/andromeda#465 · Filter by author andrejbauer opened on Sep 11, 2019 · Andromeda 2.0 public release
  2

• Standard library

  Andromedans/andromeda#464 · Filter by author andrejbauer opened on Sep 11, 2019 · Andromeda 2.0 public release
  1

• Why do term equalities have a type annotation?

  Andromedans/andromeda#452 · Filter by author andrejbauer opened on Aug 12, 2019
  

• Slight confusions in documentation

  Andromedans/andromeda#386 · Filter by author mikeshulman opened on Aug 18, 2018
  2

• Beta-reduction not doing what I expect

  Andromedans/andromeda#385 · Filter by author mikeshulman opened on Jul 20, 2018
  4

• Become a Coq plugin?

  enhancement
  Andromedans/andromeda#384 · Filter by author SkySkimmer opened on Jun 7, 2018
  2

• RFC: user defined toplevel commands

  Andromedans/andromeda#374 · Filter by author SkySkimmer opened on Dec 24, 2016
  9

• Have a test for every non impossible error

  Andromedans/andromeda#370 · Filter by author SkySkimmer opened on Dec 22, 2016

• Stack trace on runtime error

  Andromedans/andromeda#358 · Filter by author andrejbauer opened on Jun 23, 2016

• Compare AML polymorphism with Ocaml polymorphism

  Andromedans/andromeda#346 · Filter by author SkySkimmer opened on Jun 9, 2016
  1