Skip to content

Pull requests: fram-lang/dbl

New pull request New
14 Open 147 Closed
14 Open 147 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Adding -load command line flag
#308 opened Jan 24, 2026 by ppolesiuk Loading…
5
Mut handler in test framework
#307 opened Jan 15, 2026 by wojpok Loading…
1
Vector module (#258)
#306 opened Jan 10, 2026 by kulson Loading…
17
Non-terminating ~onError test assertions
#300 opened Dec 22, 2025 by wojpok Loading…
1
Ordered maps stdlib Work on standard library
#298 opened Dec 18, 2025 by MinionJakub Loading…
21
Adding type directive to REPL.
#295 opened Dec 14, 2025 by wojciechdomin • Draft
3
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 • Draft
1
12
Counter-examples of non-exhaustive pattern-matching
#278 opened Nov 20, 2025 by rureirureirurei Loading…
1
12
Pretty-printing library
#256 opened Aug 17, 2025 by wojpok Loading…
25
ToString methods
#241 opened May 16, 2025 by wojpok Loading…
2
Type-level infix operators
#214 opened Apr 2, 2025 by wbukowski Loading…
1
@rureirureirurei
4
update pythagorean triples examples to support new syntax
#213 opened Apr 2, 2025 by dominik-muc Loading…
3
Replace ocamlyacc with cpspg
#165 opened Dec 10, 2024 by adampsz • Draft
10
Red Black Tree stdlib Work on standard library
#136 opened Jun 19, 2024 by MinionJakub Loading…
@Foxinio
142
ProTip! Exclude everything labeled bug with -label:bug.