Search results

Write a simple toy LSP

enhancementNew feature or requestNew feature or request

Status: Open.

#118 In engboris/stellogen;

· engboris opened on May 24, 2025

Implement generalized circuits

play with language

to be designedDebate about designDebate about design

Status: Open.

#102 In engboris/stellogen;

· engboris opened on Apr 14, 2025

Implement example of computation with a tile system

play with language

Status: Open.

#65 In engboris/stellogen;

· engboris opened on Jan 24, 2025

Implement Lafont's interaction nets/combinators

play with language

theoryTheoretical considerationsTheoretical considerations

to be designedDebate about designDebate about design

Status: Open.

#62 In engboris/stellogen;

· engboris opened on Jan 23, 2025

System lock (Girard's epidictic/systems)

enhancementNew feature or requestNew feature or request

theoryTheoretical considerationsTheoretical considerations

to be designedDebate about designDebate about design

Status: Open.

#20 In engboris/stellogen;

· engboris opened on Dec 31, 2024

Compiling Stellogen

to be designedDebate about designDebate about design

Status: Open.

#19 In engboris/stellogen;

· engboris opened on Dec 31, 2024