Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Proost
Manage
Activity
Members
Labels
Plan
Issues
33
Issue boards
Milestones
Code
Merge requests
18
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Package Registry
Model registry
Operate
Terraform modules
Analyze
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
loutr
Proost
Merge requests
Open
9
Merged
15
Closed
3
All
27
Actions
Subscribe to RSS feed
Recent searches
label:
=
~Kernel
label:
=
~Parser
Clear recent searches
Loading
label
=
~Kernel
Author
Assignee
Reviewer
Merged-By
Approved-By
Milestone
Label
Release
Draft
Target-Branch
Source-Branch
Environment
Deployed-before
Deployed-after
Search for this text
{{ title }}
{{ help }}
{{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
Priority
Created date
Closed date
Updated date
Milestone due date
Popularity
Label priority
Title
Draft: Resolve "Non-dependent products optimisation"
!104
· created
1 year ago
by
pigeonmoelleux
Doing
Kernel
Optimisation
updated
1 year ago
Draft: Resolve "Make traces opaque"
!100
· created
1 year ago
by
loutr
99-add-let-binder
Elaboration
Kernel
Refactor
updated
10 months ago
Draft: Resolve "Implement bidirectional type-checking"
!97
· created
2 years ago
by
belazy
Kernel
Optimisation
Draft: Resolve "Implement Normalisation-by-evaluation"
!95
· created
2 years ago
by
belazy
Kernel
Optimisation
updated
2 years ago
Draft: Resolve "Memoization of normal form"
!93
· created
2 years ago
by
loutr
Kernel
Optimisation
feature
updated
2 years ago
Draft: Resolve "Add match-syntax"
!92
· created
2 years ago
by
belazy
Kernel
feature
updated
2 years ago
Draft: Add observational equality
!86
· created
2 years ago
by
belazy
Doing
Kernel
feature
updated
2 years ago
Draft: Resolve "Add `Sigma` and `Exists` type"
!85
· created
2 years ago
by
belazy
Doing
Kernel
feature
updated
2 years ago
Draft: Resolve "Add `List` type"
!82
· created
2 years ago
by
nartan
Doing
Good first issue
Kernel
