-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: rzk-lang/rzk
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Change AST representation to use "free scoped monads" and generalised de Bruijn indices
#2
by fizruk
was merged Feb 26, 2021
Loading…
updated Feb 26, 2021
Experiments with AST representations
#1
by fizruk
was closed Feb 26, 2021
Loading…
updated Feb 26, 2021
Generalised unification for FreeScoped terms
#4
by fizruk
was merged Nov 5, 2021
Loading…
updated Nov 5, 2021
Release v0.3.0 (wrong target branch)
#34
by fizruk
was closed Apr 28, 2023
Loading…
updated Apr 28, 2023
Variables and sections (Coq-style)
#38
by fizruk
was merged May 18, 2023
Loading…
updated May 18, 2023
10 of 11 tasks
Switch to Material theme for MkDocs
#57
by fizruk
was merged Jun 21, 2023
Loading…
updated Jun 21, 2023
6 tasks done
Support some Unicode syntax
#61
by fizruk
was merged Jul 4, 2023
Loading…
updated Jul 4, 2023
14 tasks done
Recognise code blocks with attributes
#64
by fizruk
was merged Jul 5, 2023
Loading…
updated Jul 5, 2023
3 tasks done
Allow patterns in function params and add hints on shape coercion
#67
by fizruk
was merged Jul 11, 2023
Loading…
updated Jul 11, 2023
11 tasks done
Try decomposing applications first when unifying
#76
by fizruk
was merged Aug 18, 2023
Loading…
updated Aug 18, 2023
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.