Search results

Partial order of finalisation

feature request

Language Design

needs triage

new stuff

Status: Open.

#131 In felix-lang/felix;

· skaller opened on Nov 29, 2018

Modular compact linear types

Language Design

Status: Open.

#120 In felix-lang/felix;

· skaller opened on Aug 23, 2018

Singleton Types

Language Design

Status: Open.

#118 In felix-lang/felix;

· skaller opened on Jul 31, 2018

Top and Bottom

Language Design

Status: Open.

#113 In felix-lang/felix;

· skaller opened on Dec 1, 2017

Bools

Language Design

Status: Open.

#112 In felix-lang/felix;

· skaller opened on Dec 1, 2017

Slices

Language Design

Status: Open.

#111 In felix-lang/felix;

· skaller opened on Nov 30, 2017