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

Fixed Base/* visibility
#341 opened May 3, 2026 by fatmage Member Loading…
Basic support for file IO operations stdlib Work on standard library
#338 opened May 1, 2026 by fatmage Member Draft
Concrete syntax for handler types
#337 opened Apr 12, 2026 by JakubZojdzik Contributor Loading…
Affine effect inference
#336 opened Apr 1, 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! Mix and match filters to narrow down what you’re looking for.