Skip to content

Issues: Andromedans/andromeda

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

33 Open 164 Closed
33 Open 164 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

dispatching on arguments that bind variables
#540 opened Sep 6, 2020 by mikeshulman
Automatic principal arguments in eqchk
#539 opened Aug 24, 2020 by anjapetkovic
Failed assertion
#538 opened Aug 23, 2020 by mikeshulman
1
Printing of local contexts in argument position is reversed bug
#533 opened Apr 11, 2020 by haselwarter Andromeda 2.0 public release
Runtime exceptions are printed in wrong environment bug
#532 opened Apr 11, 2020 by haselwarter
open should be forgotten at the end of a module bug
#521 opened Feb 18, 2020 by andrejbauer Andromeda 2.0 public release
3
Improve the eq module
#512 opened Jan 22, 2020 by andrejbauer Andromeda 2.0 public release
The type of abstraction enhancement
#485 opened Nov 25, 2019 by andrejbauer
1
Fixing typing annotations on recursive functions enhancement
#484 opened Nov 25, 2019 by andrejbauer Andromeda 2.0 public release
Abstracting/annotating the result of a recursive call
#482 opened Nov 24, 2019 by mikeshulman
6
Allow unicode in operators
#481 opened Nov 24, 2019 by mikeshulman
2
Improve AbstractAtom case in check_judgement in eval
#477 opened Nov 7, 2019 by anjapetkovic
Use indices more consistently cleanup Half-finished code and easily fixed issues of minor importance.
#474 opened Nov 7, 2019 by andrejbauer
Editing modes
#467 opened Sep 11, 2019 by andrejbauer Andromeda 2.0 public release
Update documentation and the web page
#466 opened Sep 11, 2019 by andrejbauer Andromeda 2.0 public release
@andrejbauer
Compile with dune and make Andromeda into an OPAM package
#465 opened Sep 11, 2019 by andrejbauer Andromeda 2.0 public release
2
Standard library
#464 opened Sep 11, 2019 by andrejbauer Andromeda 2.0 public release
1
Why do term equalities have a type annotation?
#452 opened Aug 12, 2019 by andrejbauer
@andrejbauer
Slight confusions in documentation
#386 opened Aug 18, 2018 by mikeshulman
2
Beta-reduction not doing what I expect
#385 opened Jul 20, 2018 by mikeshulman
4
Become a Coq plugin? enhancement
#384 opened Jun 7, 2018 by SkySkimmer
2
RFC: user defined toplevel commands
#374 opened Dec 24, 2016 by SkySkimmer
9
Have a test for every non impossible error
#370 opened Dec 22, 2016 by SkySkimmer
Stack trace on runtime error
#358 opened Jun 23, 2016 by andrejbauer
Compare AML polymorphism with Ocaml polymorphism
#346 opened Jun 9, 2016 by SkySkimmer
1
ProTip! no:milestone will show everything without a milestone.