Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
ligolang
LIGO
Merge requests
Open
0
Merged
10
Closed
6
All
16
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Boolean flag: is constraint deletable
!814
· created
Sep 18, 2020
by
Suzanne Soy
Typer: Prototype MVP
bugfix-hide-implementation-result-monad
Closed
1
Approved
updated
Oct 15, 2020
WIP: Typer not currently in use
!839
· created
Oct 13, 2020
by
Suzanne Soy
Typer: Prototype MVP
Type System
Closed
0 of 1 Approvals
updated
Nov 04, 2020
Draft: Check unassigned unification vars
!845
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Nov 04, 2020
Draft: Remove self-aliases in type inference database
!844
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Nov 04, 2020
WIP: update maps which depend on union-find root IDs
!846
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Nov 04, 2020
Prototype typer: separate "deduce and clean" as a new heuristic
!988
· created
Feb 12, 2021
by
Suzanne Soy
Typer: Prototype MVP
Type System
Closed
1
0 of 1 Approvals
updated
Feb 25, 2021