Search results

Cannot build with modern versions of Rust

Status: Open.

#259 In pikelet-lang/pikelet;

· rzuckerm opened on Nov 18, 2023

Experiment with Andras Korvacs' version of universe lifting

Status: Open.

#237 In pikelet-lang/pikelet;

· brendanzab opened on Dec 12, 2020

Fix unfolding avoidance for local variables

Status: Open.

#236 In pikelet-lang/pikelet;

· brendanzab opened on Dec 6, 2020

Package manager

Status: Open.

#178 In pikelet-lang/pikelet;

· brendanzab opened on Nov 5, 2018

Pikelet driver/loader API

Status: Open.

#175 In pikelet-lang/pikelet;

· brendanzab opened on Nov 5, 2018

 ·  

v0.1.0

Pattern match compilation

Status: Open.

#128 In pikelet-lang/pikelet;

· brendanzab opened on Sep 1, 2018

Move to an incremental/query driven architecture

Status: Open.

#103 In pikelet-lang/pikelet;

· brendanzab opened on Jul 25, 2018

Implement a Language Server and build an extension for VS Code

Status: Open.

#97 In pikelet-lang/pikelet;

· brendanzab opened on Jul 4, 2018

Effects: Pikelet should actually be useful!

Status: Open.

#93 In pikelet-lang/pikelet;

· brendanzab opened on Jul 1, 2018

Adopt a labelling scheme for issues

Status: Open.

#92 In pikelet-lang/pikelet;

· brendanzab opened on Jul 1, 2018

Implement a pass to compile Core terms to A-Normal Form

help wanted

Status: Open.

#91 In pikelet-lang/pikelet;

· brendanzab opened on Jul 1, 2018

Use Bors for merging PRs

Status: Open.

#88 In pikelet-lang/pikelet;

· brendanzab opened on Jun 25, 2018