Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
0
Merged
32
Closed
6
All
38
Merge trains
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}}
Created date
Work on the prototype typer
!915
· created
Dec 12, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Merged
Approved
updated
Jan 27, 2021
Prototype typer: type checker and more tests.
!910
· created
Dec 08, 2020
by
Suzanne Soy
Typer: Prototype MVP
Type System
Merged
Approved
updated
Jun 12, 2024
Semi-formal draft description of typesystem
!881
· created
Nov 07, 2020
by
Suzanne Soy
Type System
Merged
Approved
updated
Nov 18, 2020
Prototype typer
!877
· created
Nov 04, 2020
by
Suzanne Soy
Type System
Merged
Approved
updated
Jun 12, 2024
Updated the typer's README
!866
· created
Oct 30, 2020
by
Suzanne Soy
Type System
Merged
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
Jun 12, 2024
Draft: Check unassigned unification vars
!845
· created
Oct 15, 2020
by
Suzanne Soy
Typer: Prototype MVP
Review
Type System
Closed
1
Approved
updated
Jun 12, 2024
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
Jun 12, 2024
Bugfix json printing
!841
· created
Oct 14, 2020
by
Suzanne Soy
Type System
Closed
5
Approved
updated
Jun 12, 2024
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
Jun 12, 2024
Fixed #941: description at the top of the specialize1 heuristic does not make any sense.
!764
· created
Aug 13, 2020
by
Suzanne Soy
Type System
Merged
2
updated
Aug 14, 2020
Closes #212: functional-dependencies-style inference for typeclasses
!747
· created
Aug 04, 2020
by
Suzanne Soy
Typer: Prototype MVP
Feature
Type System
Merged
2
updated
Oct 15, 2020
[to merge] Use the error monad in the heuristics
!746
· created
Aug 04, 2020
by
Suzanne Soy
Feature
Type System
Merged
2
Approved
updated
Jun 12, 2024
[to merge] Add private storage for selector & propagator heuristics
!745
· created
Aug 04, 2020
by
Suzanne Soy
Feature
Type System
Merged
updated
Aug 13, 2020
Add wildcard type_expression to ligo
!739
· created
Aug 02, 2020
by
Pierre-Emmanuel Wulfman
Feature
Front End
Type System
Merged
24
Approved
updated
Aug 03, 2020
Resolve "Typing issue"
!722
· created
Jul 09, 2020
by
Rémi
Typer: srclocs and error messages
Suggestion
To Do
Type System
Merged
5
updated
Feb 01, 2021
Allow comparison of "comparable pair"
!616
· created
May 15, 2020
by
Pierre-Emmanuel Wulfman
Bug
Easy
Feature
Type System
Merged
Approved
updated
May 18, 2020
Default environment with just "bool"
!586
· created
Apr 22, 2020
by
Pierre-Emmanuel Wulfman
Feature
Type System
Merged
1
Approved
updated
Apr 29, 2020
Prev
1
2
Next