Issues

• Hello?

  pikelet-lang/pikelet#260 · Filter by author Haruparu-Gensou opened on Jul 11, 2025

• Cannot build with modern versions of Rust

  pikelet-lang/pikelet#259 · Filter by author rzuckerm opened on Nov 18, 2023

• Experiment with Andras Korvacs' version of universe lifting

  pikelet-lang/pikelet#237 · Filter by author brendanzab opened on Dec 12, 2020
  5

• Fix unfolding avoidance for local variables

  pikelet-lang/pikelet#236 · Filter by author brendanzab opened on Dec 6, 2020

• Package manager

  pikelet-lang/pikelet#178 · Filter by author brendanzab opened on Nov 5, 2018
  4

• Pikelet driver/loader API

  pikelet-lang/pikelet#175 · Filter by author brendanzab opened on Nov 5, 2018 · v0.1.0
  12

• Pattern match compilation

  pikelet-lang/pikelet#128 · Filter by author brendanzab opened on Sep 1, 2018

• Move to an incremental/query driven architecture

  pikelet-lang/pikelet#103 · Filter by author brendanzab opened on Jul 25, 2018
  8

• Implement a Language Server and build an extension for VS Code

  pikelet-lang/pikelet#97 · Filter by author brendanzab opened on Jul 4, 2018
  9

• Effects: Pikelet should actually be useful!

  pikelet-lang/pikelet#93 · Filter by author brendanzab opened on Jul 1, 2018
  9

• Adopt a labelling scheme for issues

  pikelet-lang/pikelet#92 · Filter by author brendanzab opened on Jul 1, 2018

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

  help wanted
  pikelet-lang/pikelet#91 · Filter by author brendanzab opened on Jul 1, 2018

• Use Bors for merging PRs

  pikelet-lang/pikelet#88 · Filter by author brendanzab opened on Jun 25, 2018

• Refactor the compiler to use visitors

  pikelet-lang/pikelet#75 · Filter by author brendanzab opened on Jun 5, 2018
  3

• Add facilities for debugging/visualising the typechecker

  pikelet-lang/pikelet#71 · Filter by author brendanzab opened on May 24, 2018

• Recursive definitions

  pikelet-lang/pikelet#46 · Filter by author brendanzab opened on Apr 14, 2018 · v0.2.0
  1

• Plans for formalizing the type system and implementation

  pikelet-lang/pikelet#39 · Filter by author brendanzab opened on Apr 10, 2018
  1

• Singleton Types

  pikelet-lang/pikelet#37 · Filter by author brendanzab opened on Apr 10, 2018

• User-defined infix operators

  pikelet-lang/pikelet#34 · Filter by author brendanzab opened on Apr 8, 2018 · v0.2.0
  5

• Figure out a strategy for handling common (usually ignored) errors

  pikelet-lang/pikelet#31 · Filter by author brendanzab opened on Apr 8, 2018

• Record keyword/sigil ambiguity bikeshedding

  pikelet-lang/pikelet#25 · Filter by author brendanzab opened on Apr 4, 2018
  5

• Use a string interner for caching identifiers and strings

  help wanted
  pikelet-lang/pikelet#19 · Filter by author brendanzab opened on Apr 1, 2018
  

• Non-uniform representation and unboxed data types

  pikelet-lang/pikelet#18 · Filter by author brendanzab opened on Mar 29, 2018

• Allow files to be loaded from the REPL

  help wanted
  pikelet-lang/pikelet#17 · Filter by author brendanzab opened on Mar 29, 2018 · v0.1.0
  3

• Property based testing of the type system

  help wanted
  pikelet-lang/pikelet#16 · Filter by author brendanzab opened on Mar 29, 2018