Search results

Simple profiling for the pipeline

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#293 In fram-lang/dbl;

· ppolesiuk opened on Dec 13, 2025

Declaration of parameters in sequences of named parameters

0. parsingThings related to lexer and parserThings related to lexer and parser

1. type inferenceType inference and the Unif languageType inference and the Unif language

Status: Open.

Feature

#292 In fram-lang/dbl;

· ppolesiuk opened on Dec 13, 2025

Holes

1. type inferenceType inference and the Unif languageType inference and the Unif language

2. effect inferenceEffect inference and the ConE languageEffect inference and the ConE language

Status: Open.

Feature

#291 In fram-lang/dbl;

· ppolesiuk opened on Dec 13, 2025

Concrete syntax for handler types

0. parsingThings related to lexer and parserThings related to lexer and parser

Status: Open.

Task

#286 In fram-lang/dbl;

· ppolesiuk opened on Nov 28, 2025

Implement <code>ignoreExistential</code> attribute.

0. parsingThings related to lexer and parserThings related to lexer and parser

Status: Open.

Feature

#284 In fram-lang/dbl;

· wojpok opened on Nov 24, 2025

Refactor structure of tests for standard library.

good first issueGood for newcomersGood for newcomers

stdlibWork on standard libraryWork on standard library

Status: Open.

Task

#280 In fram-lang/dbl;

· ppolesiuk opened on Nov 22, 2025

Qualified imports

0. parsingThings related to lexer and parserThings related to lexer and parser

1. type inferenceType inference and the Unif languageType inference and the Unif language

Status: Open.

Feature

#274 In fram-lang/dbl;

· wojpok opened on Nov 13, 2025

Syntax for empty lambda abstraction with named parameters.

0. parsingThings related to lexer and parserThings related to lexer and parser

good first issueGood for newcomersGood for newcomers

Status: Open.

Task

#263 In fram-lang/dbl;

· ppolesiuk opened on Oct 27, 2025

Named parameters of piped methods are not recognized by the parser

0. parsingThings related to lexer and parserThings related to lexer and parser

good first issueGood for newcomersGood for newcomers

Status: Open.

Bug

#262 In fram-lang/dbl;

· ppolesiuk opened on Oct 26, 2025

Vector module

stdlibWork on standard libraryWork on standard library

Status: Open.

Task

#258 In fram-lang/dbl;

· kulson opened on Oct 23, 2025

Escaping type variables in some recursive functions

1. type inferenceType inference and the Unif languageType inference and the Unif language

Status: Open.

Bug

#254 In fram-lang/dbl;

· wojpok opened on Aug 1, 2025

Handle runtime errors in REPL

4.1. replREPLREPL

Status: Open.

Task

#252 In fram-lang/dbl;

· ppolesiuk opened on Jul 2, 2025