RedPRL/sml-redprl Issues
Sync .mlb and .cm
ClosedRewrite in reverse
ClosedCoe of V is wrong
UpdatedBetter freshing/renaming?
Closed 5Fix automation
Closed 2Vim mode: show RedPRL is running
Closed 4Add exceptions
Closed 4Eta for V types
ClosedBug in HCom.Eq
Closed 2Make U^pre and U^hcom Kan again!
Closed 3Change the syntax of Thm?
Closed 2Prove the computation rule for J
Closed 12Print integers as (int i).
Closed 4Make Pygments Immortal
ClosedFunding acknowledgements
Closed 4Remove weak booleans.
Closed 1Dependent rewriting rule
Closed 10