Search results

Semigroup / Monoid / Group types

library

Status: Open.

#324 In AshleyYakeley/Truth;

· AshleyYakeley opened on Feb 16, 2025

 ·  

0.6

Givens / Anonymous Implicit Parameters / Ambient Values

type system

Status: Open.

#323 In AshleyYakeley/Truth;

· AshleyYakeley opened on Dec 21, 2024

 ·  

0.6

Switch to GTK 4

library: gnome

Status: Open.

#321 In AshleyYakeley/Truth;

· AshleyYakeley opened on Dec 21, 2024

 ·  

0.6

OrderedMap type

library

Status: Open.

#320 In AshleyYakeley/Truth;

· AshleyYakeley opened on Nov 30, 2024

 ·  

0.6

Create nix dev shell

build

Status: Open.

#315 In AshleyYakeley/Truth;

· AshleyYakeley opened on Sep 17, 2024

 ·  

0.6

Type variable quantification for record functions (and record constructors?)

type system

Status: Open.

#312 In AshleyYakeley/Truth;

· AshleyYakeley opened on Sep 4, 2024

 ·  

0.7

listTable.Widget.GTK should be record function

library: gnome

Status: Open.

#311 In AshleyYakeley/Truth;

· AshleyYakeley opened on Sep 3, 2024

 ·  

0.7

Allow fullnamerefs in declarations

syntax

Status: Open.

#309 In AshleyYakeley/Truth;

· AshleyYakeley opened on Aug 24, 2024

 ·  

0.6

Use multiple processors

script handling

Status: Open.

#305 In AshleyYakeley/Truth;

· AshleyYakeley opened on Aug 11, 2024

 ·  

Speculative

Open Types

type system

Status: Open.

#303 In AshleyYakeley/Truth;

· AshleyYakeley opened on Aug 5, 2024

 ·  

0.7

Extensible exceptions

type system

Status: Open.

#299 In AshleyYakeley/Truth;

· AshleyYakeley opened on Jul 22, 2024

 ·  

0.7

warning for unused variables

syntax

Status: Open.

#297 In AshleyYakeley/Truth;

· AshleyYakeley opened on Jul 21, 2024

 ·  

0.6