dbl good first issues (OCaml)

Use affine effects in the standard library about 11 hours ago

good first issue stdlib

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Non-exhaustive pattern-matching as a warning instead of error 5 months ago

good first issue error messages 2.1. pattern-matching

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Pretty-print infix constructors in pattern counterexamples using infix notation 7 months ago

good first issue error messages

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Homogeneous types of arithmetic operators 7 months ago

good first issue stdlib

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Infrastructure for testing REPL 9 months ago

good first issue

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Refactor structure of tests for standard library. 10 months ago

good first issue stdlib

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Simple profiling for the pipeline 10 months ago

good first issue

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Effect annotations 11 months ago

good first issue 0. parsing 1. type inference 2. effect inference

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Concrete syntax of parameter sections 11 months ago

good first issue 0. parsing

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Syntactic sugar for explicit instantiation with effectful functions 11 months ago

good first issue 0. parsing

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Syntactic sugar for explicit instantiations with functions 12 months ago

good first issue 0. parsing

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Syntax for empty lambda abstraction with named parameters. 12 months ago

good first issue 0. parsing

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Named parameters of piped methods are not recognized by the parser 12 months ago

good first issue 0. parsing

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

Pretty-printing counter-examples of non-exhaustive pattern-matching about 1 year ago

good first issue error messages 2.1. pattern-matching

fram-lang/dbl

45

An experimental programming language that combines effect handlers and implicit parameters

OCaml

fram-lang/dbl

Open Issues Need Help