Search results

A Module System?

Status: Open.

#252 In jonsterling/JonPRL;

· markfarrell opened on Mar 6, 2016

Formalization of Cubical Type Theory

Status: Open.

#251 In jonsterling/JonPRL;

· markfarrell opened on Feb 17, 2016

Try JonPRL

Status: Open.

#247 In jonsterling/JonPRL;

· markfarrell opened on Jan 9, 2016

consider switching to "dependent LCF" refiner

Status: Open.

#245 In jonsterling/JonPRL;

· jonsterling opened on Oct 16, 2015

Consider switching to typed ABTs

Status: Open.

#242 In jonsterling/JonPRL;

· jonsterling opened on Sep 29, 2015

Better error messages

Status: Open.

#239 In jonsterling/JonPRL;

· jonsterling opened on Sep 18, 2015

Document containers, trees, extensions, neighborhoods, etc.

documentation

Status: Open.

#231 In jonsterling/JonPRL;

· jonsterling opened on Sep 8, 2015

Canonical-forms tests

Status: Open.

#222 In jonsterling/JonPRL;

· jonsterling opened on Aug 29, 2015

Make JonPRL SML '97 Compatible

Status: Open.

#218 In jonsterling/JonPRL;

· jozefg opened on Aug 27, 2015

pattern compilation is broken for multiple bindings

bug

syntax

Status: Open.

#214 In jonsterling/JonPRL;

· jonsterling opened on Aug 23, 2015

Targeted Reduce and Unfold

Status: Open.

#208 In jonsterling/JonPRL;

· jozefg opened on Aug 22, 2015

[idea] implement neel's linear type system

pie-in-sky

Status: Open.

#195 In jonsterling/JonPRL;

· jonsterling opened on Aug 16, 2015