Skip to content
GitLab
Explore
Sign in
Open
5
Merged
8
Closed
10
All
23
Recent searches
{{ formattedKey }}
{{ 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}}
Updated date
Draft: Resolve "Add namespace end"
!52
· created
Dec 16, 2022
by
aalbert
Doing
Closed
updated
Jan 06, 2023
Draft: Resolve "Add namespace end"
!48
· created
Dec 04, 2022
by
aalbert
Doing
Closed
updated
Jan 05, 2023
Draft: Resolve "Make eval work"
!50
· created
Dec 15, 2022
by
belazy
Doing
Closed
updated
Dec 15, 2022
Draft: "Add Universe Polymorphism"
!30
· created
Nov 01, 2022
by
belazy
Doing
Kernel
Closed
2
updated
Nov 27, 2022
Proof of concept: Resolve "Add user friendly commands"
!25
· created
Oct 27, 2022
by
aalbert
Doing
Closed
updated
Oct 29, 2022
Draft: Resolve "Add a basic type-checker"
!9
· created
Oct 06, 2022
by
belazy
Doing
Closed
updated
Oct 08, 2022
Draft: Resolve "Transition from Pest to Num"
!12
· created
Oct 07, 2022
by
aalbert
Alpha release
Doing
Closed
updated
Oct 07, 2022
Draft: Resolve "Modify Proost's grammar" partially
!11
· created
Oct 07, 2022
by
aalbert
Doing
Parser
Closed
updated
Oct 07, 2022
Resolve "Add proost program (CLI)"
!5
· created
Sep 28, 2022
by
aalbert
Alpha release
Doing
Closed
7
updated
Oct 06, 2022
Resolve "Pest parser"
!3
· created
Sep 26, 2022
by
aalbert
Alpha release
Doing
Closed
updated
Sep 27, 2022