Skip to content

Issues: dannywillems/RML

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

26 Open 35 Closed
26 Open 35 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

Canonical form for a type.
#61 opened May 22, 2017 by dannywillems
Rules to compare recursive types.
#58 opened May 2, 2017 by dannywillems
Recursive type inside recursive type
#56 opened May 2, 2017 by dannywillems
Use a variable in the subtyping algorithm.
#54 opened May 2, 2017 by dannywillems
Sugar for type without module sig
#52 opened May 2, 2017 by dannywillems
Write a top level interpreter.
#51 opened Apr 25, 2017 by dannywillems
Rules order in the subtyping algorithm. DIFFICULTY:hard
#46 opened Apr 20, 2017 by dannywillems
Map alpha Type
#45 opened Apr 19, 2017 by dannywillems
How to encode Char? Type
#44 opened Apr 19, 2017 by dannywillems
How to encode String? Type
#43 opened Apr 19, 2017 by dannywillems
Stack overflow when subtyping on list. bug DIFFICULTY:hard enhancement
#38 opened Apr 19, 2017 by dannywillems
1
Improve inference algorithm for modules. DIFFICULTY:medium
#37 opened Apr 19, 2017 by dannywillems
1
Top level recursive functions. DIFFICULTY:medium
#35 opened Apr 19, 2017 by dannywillems
Top level definition. DIFFICULTY:medium
#34 opened Apr 19, 2017 by dannywillems
Consider a file as a module. DIFFICULTY:medium
#33 opened Apr 19, 2017 by dannywillems
Graph implementation. alpha Type
#32 opened Apr 19, 2017 by dannywillems
Subtyping test polymorphic list with functions. DIFFICULTY:medium
#29 opened Apr 19, 2017 by dannywillems
Export derivation tree in a JSON file. DIFFICULTY:medium
#20 opened Apr 18, 2017 by dannywillems
2
Arguments to the executable to include new directory different than stdlib. DIFFICULTY:easy
#18 opened Apr 18, 2017 by dannywillems
Exceptions. DIFFICULTY:medium syntax Type
#16 opened Apr 17, 2017 by dannywillems
Infix operator. DIFFICULTY:medium syntax
#15 opened Apr 17, 2017 by dannywillems
Evaluation. DIFFICULTY:easy enhancement
#14 opened Apr 17, 2017 by dannywillems
Basic types can be redefined. bug DIFFICULTY:medium
#7 opened Apr 17, 2017 by dannywillems
Conditions - if then else. DIFFICULTY:hard Syntactic sugar
#3 opened Apr 17, 2017 by dannywillems
1
Parametric polymorphism. Syntactic sugar
#2 opened Apr 17, 2017 by dannywillems
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.