Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
9
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Switch to GitLab Next
Sign in / Register
Toggle navigation
Open sidebar
ligolang
LIGO
Issues
Open
151
Closed
850
All
1,001
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Blocking
Create a type checker
#1140
· opened
Feb 25, 2021
by
Suzanne Soy
Type System
0
updated
Feb 25, 2021
Run both the current typer and the prototype typer
#1139
· opened
Feb 25, 2021
by
Suzanne Soy
Type System
0
updated
Feb 25, 2021
Fix auto-uncurry bugs by moving to backend
#1138
· opened
Feb 24, 2021
by
Tom Jack
Back End
Doing
0
updated
Feb 24, 2021
Edofication part 1: tuples in the backend
#1137
· opened
Feb 24, 2021
by
Tom Jack
Back End
Doing
0
updated
Feb 24, 2021
replace type_constraint_simpl with a single ~ constraint and a type_value_simpl
#1136
· opened
Feb 22, 2021
by
Suzanne Soy
Typer: better kinds
Type System
3
0
updated
Feb 23, 2021
USER STORY: Feature branch web IDE deployments of the backend server and Netlify preview
#1135
· opened
Feb 22, 2021
by
Gino Imbrailo
webide
0
updated
Feb 22, 2021
has_contradiction indexer
#1133
· opened
Feb 20, 2021
by
Suzanne Soy
Typer: better kinds
Type System
1
0
updated
Feb 20, 2021
generalizers for the typer
#1132
· opened
Feb 20, 2021
by
Suzanne Soy
Typer: scheduler and generalizers
Type System
1
0
updated
Feb 20, 2021
scheduler for the typer
#1131
· opened
Feb 20, 2021
by
Suzanne Soy
Typer: scheduler and generalizers
Type System
2
0
updated
Feb 22, 2021
step-by-step plug-in in the solver
#1130
· opened
Feb 20, 2021
by
Suzanne Soy
Typer: Future features
Type System
1
0
updated
Feb 20, 2021
add tuples/lists of type_variables available in the solver
#1129
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
3
0
updated
Feb 23, 2021
c_constructor_simpl should have a (ctor or row) tag and a single type_variable as an argument
#1128
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
1
1
updated
Feb 23, 2021
detection of type errors should be turned into heuristics which deduce (x : False) or something similar
#1127
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
0
updated
Feb 19, 2021
find a way to identify which types appear at the top-level and which types are nested under hypotheses
#1126
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
1
2
updated
Feb 22, 2021
type contradictions shouldn't be fatal
#1125
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
1
0
updated
Feb 19, 2021
nested constraints in typeclasses should be rewritten with fresh variables and extracted to standalone constraints
#1124
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
0
updated
Feb 19, 2021
∃ should be around the individual cases of the typeclass, not around the entire typeclass
#1123
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
1
0
updated
Feb 19, 2021
type_constraint_simpl should allow more than just type_variables ?
#1122
· opened
Feb 19, 2021
by
Suzanne Soy
Typer: better kinds
Type System
4
0
updated
Feb 23, 2021
Update ligo web ide client and backend to latest v8 taquito release
#1121
· opened
Feb 18, 2021
by
Jev Björsell
0
updated
Feb 19, 2021
Test typeclass heuristics
2 of 13 tasks completed
#1119
· opened
Feb 17, 2021
by
Suzanne Soy
Typer: Prototype MVP
Doing
Test
To Do
Type System
1
updated
Feb 18, 2021
Prev
1
2
3
4
5
…
8
Next