a PrP project focused on implementing and verifying tail recursions
Add mutable reference to the original STLC and design the optimizing function under some restrictions.
Prove Church–Rosser theorem under close term STLC.
-
Notifications
You must be signed in to change notification settings - Fork 0
zqy1018/PrP_tail_recursion
About
a PrP project focused on implementing and verifying tail recursions
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published