Search results

Question on Sixten's Flat Data Representation with Generics

Status: Open.

#149 In ollef/sixten;

· GunpowderGuy opened on Mar 16, 2025

Question: Will Sixten support specifying erasure like Idris 2?

Status: Open.

#148 In ollef/sixten;

· L-as opened on Aug 2, 2021

Indexed tree example yields weird error message

Status: Open.

#146 In ollef/sixten;

· ollef opened on Jun 28, 2019

Normalisation by evaluation

Area: Type checker

Type: Enhancement

Status: Open.

#145 In ollef/sixten;

· ollef opened on Apr 26, 2019

Error message for constructor variables implicitly escaping into sizes

Area: Type checker

Priority: High

Status: Open.

#144 In ollef/sixten;

· ollef opened on Apr 26, 2019

Incremental compilation when using file watching

Status: Open.

#143 In ollef/sixten;

· ollef opened on Apr 17, 2019

Language server support for multi-file projects

Area: Language server

Status: Open.

#140 In ollef/sixten;

· ollef opened on Apr 8, 2019

Inductively defined flat vectors

Status: Open.

#134 In ollef/sixten;

· ollef opened on Feb 21, 2019

Parallel builds

Type: Enhancement

Status: Open.

#123 In ollef/sixten;

· ollef opened on Dec 30, 2018

Add string literals as primitives to improve string compilation speed

Type: Feature

Status: Open.

#112 In ollef/sixten;

· ollef opened on Jun 14, 2018

Expected error tests

Beginner-friendly

Help wanted

Type: Feature

Status: Open.

#111 In ollef/sixten;

· ollef opened on Jun 14, 2018

Improve projection detection to make Vector indexing O(1)

Type: Enhancement

Status: Open.

#110 In ollef/sixten;

· ollef opened on Jun 14, 2018