Skip to content

Pull requests: fram-lang/dbl

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Affine effect inference
#336 opened Apr 1, 2026 by ppolesiuk Member Loading…
First class handlers from handling functions
#335 opened Mar 25, 2026 by ppolesiuk Member Loading…
The standard effect of throwing exceptions
#332 opened Mar 24, 2026 by ppolesiuk Member Loading…
Red black trees
#328 opened Mar 18, 2026 by MinionJakub Contributor Loading…
Vector module (#258)
#306 opened Jan 10, 2026 by kulson Contributor Loading…
Ordered maps stdlib Work on standard library
#298 opened Dec 18, 2025 by MinionJakub Contributor Loading…
Adding type directive to REPL.
#295 opened Dec 14, 2025 by wojciechdomin Contributor Draft
Add or-patterns support in pattern matching 1. type inference Type inference and the Unif language 2. effect inference Effect inference and the ConE language 2.1. pattern-matching Compilation of deep pattern-matching
#287 opened Dec 4, 2025 by zielinsky Member Loading…
Pretty-printing library
#256 opened Aug 17, 2025 by wojpok Collaborator Loading…
ToString methods
#241 opened May 16, 2025 by wojpok Collaborator Loading…
Type-level infix operators
#214 opened Apr 2, 2025 by wbukowski Collaborator Loading…
Replace ocamlyacc with cpspg
#165 opened Dec 10, 2024 by adampsz Draft
ProTip! Adding no:label will show everything without a label.