Search results

Inlining and Desugar passes should preserve type information

Status: Open.

#32 In icicle-lang/icicle;

· HuwCampbell opened on Feb 15, 2025

Generator for Source Expressions needs work.

Status: Open.

#31 In icicle-lang/icicle;

· HuwCampbell opened on Feb 15, 2025

Source simplification pass isn't implemented well

Status: Open.

#30 In icicle-lang/icicle;

· HuwCampbell opened on Feb 15, 2025

Thesis project: formalisation of Icicle in Isabelle or Coq

Status: Open.

#7 In icicle-lang/icicle;

· amosr opened on Feb 5, 2019

Thesis project: surface language support for multiple input streams

Status: Open.

#6 In icicle-lang/icicle;

· amosr opened on Feb 5, 2019

Thesis project: continuous streaming

Status: Open.

#5 In icicle-lang/icicle;

· amosr opened on Feb 5, 2019

Algebraic Data Types

Status: Open.

#1 In icicle-lang/icicle;

· HuwCampbell opened on Jun 11, 2018