Remove locked prf feature

RedPRL / cooltt

😎TT

http://www.redprl.org/

Apache License 2.0

217 stars 16 forks source link

Closed jonsterling closed 2 years ago

jonsterling commented 2 years ago

This feature is superseded by the New Design. This branch will be rebased once #369 is merged.

favonia commented 2 years ago

Do we care about Emacs? @TOTBWF

jonsterling commented 2 years ago

@favonia It looks like I never added this to the emacs anyway 😆