Search results

Coe of V is wrong

A-computation-system

I-bug

Status: Open.

#692 In RedPRL/sml-redprl;

· favonia opened on Sep 21, 2018

Add typed beta rules for (vproj x (vin x...)) etc.

A-rules

P-high

Status: Open.

#683 In RedPRL/sml-redprl;

· jonsterling opened on Apr 26, 2018

Write a technical document explaining the mini metalanguage

Status: Open.

#624 In RedPRL/sml-redprl;

· jonsterling opened on Feb 22, 2018

Top-level missing source locations

E-easy

Status: Open.

#567 In RedPRL/sml-redprl;

· cangiuli opened on Jan 13, 2018

Clean up and impose a signature on RefinerKit

E-easy

I-cleanup

Status: Open.

#522 In RedPRL/sml-redprl;

· jonsterling opened on Dec 31, 2017

Normalization/simplification function

E-hard

I-enhancement

Status: Open.

#482 In RedPRL/sml-redprl;

· mortberg opened on Nov 22, 2017

Add a "rename" operation to signatures

Status: Open.

#24 In RedPRL/sml-redprl;

· jonsterling opened on Feb 1, 2016