-
Notifications
You must be signed in to change notification settings - Fork 25
Pull requests: fram-lang/dbl
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Added test enviroment functionality with test suite format proposition
#312
opened Jan 28, 2026 by
Xaro8
Loading…
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
Counter-examples of non-exhaustive pattern-matching
#278
opened Nov 20, 2025 by
rureirureirurei
Loading…
update pythagorean triples examples to support new syntax
#213
opened Apr 2, 2025 by
dominik-muc
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.