Jonathan Lindegaard Starup

The following program only results in a single error: ``` def main(): Unit \ IO = let _x = #{ C(42). D("st"). A(y) :- B(_x), C(y), D(_x). }; println("example") ```...

Channel lowering

2

part of #2169

I am a bit unsure in which system this error lives, but there are two issues with returning datalog values (and ascriptions). 1) underspecified types are sometimes accepted (`distinctPairs` do...

There should be unused predicate errors when using local datalog predicates. There are two cases: The hidden predicate is only used as input (which is wrong because no facts of...

Fixes #7172 Stores formal parameter occur information and uses it to eliminate let-binders and dead pure expressions upon inlining.

fix: Make eraser have correct types

3

I'm not sure this should be merged - let me explain: If you call a function like `f: String -> String`, then the function is actually erased into `fe: String...

Reactive MVC module

2

React GUI kind of framework User defines state and state transitions and library defines a runtime that evaluates these state transitions on-demand and renders the state. There can also be...

Add `Range` module

3

``` foreach(i