Search results

Smarter solving

Status: Open.

#35 In CQCL/brat;

· croyzor opened on Oct 10, 2024

Generate the right graph for number that are worked out by SolvePatterns unification

Status: Open.

#30 In CQCL/brat;

· croyzor opened on Aug 28, 2024

feat: Parallelise the type checker

Status: Open.

#29 In CQCL/brat;

· croyzor opened on Aug 28, 2024

feat: Let BRAT fill in holes

Status: Open.

#28 In CQCL/brat;

· croyzor opened on Aug 28, 2024

Refactor anext

Status: Open.

#26 In CQCL/brat;

· croyzor opened on Aug 21, 2024

Add a REPL

Status: Open.

#25 In CQCL/brat;

· croyzor opened on Aug 15, 2024

tracking: Type inference machinery

Status: Open.

#24 In CQCL/brat;

· croyzor opened on Aug 14, 2024

refactor: Use a structure with variable names and port names

Status: Open.

#23 In CQCL/brat;

· croyzor opened on Aug 7, 2024

Unelaborate terms in error messages

Status: Open.

#20 In CQCL/brat;

· croyzor opened on Jul 25, 2024

Better failure mode for functions with a trailing semicolon

Status: Open.

#19 In CQCL/brat;

· croyzor opened on Jul 25, 2024

Type Erasure, Dynamic, Coercions

Status: Open.

#18 In CQCL/brat;

· croyzor opened on Jul 25, 2024

bug: Internal error with empty into

bugSomething isn't workingSomething isn't working

Status: Open.

#16 In CQCL/brat;

· croyzor opened on Jul 25, 2024