0
I Use This!
Inactive

Commits : Listings

Analyzed about 23 hours ago. based on code collected about 23 hours ago.
Aug 10, 2024 — Aug 10, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Getting closer...need serious term tucked further in. More... over 13 years ago
Adding ideal output for lotso-redex example. More... over 13 years ago
Removing the monad. :-( More... over 13 years ago
Further work in correcting the monad. More... over 13 years ago
Adding example of incorrect output from current version. More... over 13 years ago
Moving more toward rolling k into formals. More... over 13 years ago
Fixing minor formatting in tester. More... over 13 years ago
Continuing the process of rolling up the continuation argument. More... over 13 years ago
Attempting to roll continuation argument into original argument list for lambdas. More... over 13 years ago
Improving tester output on failure. More... over 13 years ago
Creating CPS tester. More... over 13 years ago
Adding some clearer comments. More... over 13 years ago
Correcting use of continuation in S and returned application statement. More... over 13 years ago
Adding slight style changes and adding use of reset-var-num. More... over 13 years ago
Updating clojure-cps/lib/util to include reset-var-num to match cps-lambda-calc. More... over 13 years ago
Changing style for T. More... over 13 years ago
Correcting S to take continuation argument. Also removing erroneous letMK* binding. More... over 13 years ago
Adding reset-var-num to normalize new-var naming across runs. More... over 13 years ago
Doing some administrative cleanup (moving include, changing style, etc.) More... over 13 years ago
Future-proofing S to use match instead of cond. More... over 13 years ago
Changing generated variables to use ($) instead of (.) for Clojure compatibility. More... over 13 years ago
Adding pretty-format directive for Clojure-compatible output. More... over 13 years ago
Adding support for symbols. More... over 13 years ago
Changing to fmls* convention to denote that formals is a list. More... over 13 years ago
Really changing name of procedure to clj-cps. More... over 13 years ago
Changing name of CPS function to clj-cps to match file extension. More... over 13 years ago
Starting in on CPSing Clojure. More... over 13 years ago
Removing ghost cps-practice/lambda-calc.ss More... over 13 years ago
Adding Clojure snapshot from github.com. More... over 13 years ago
Library-ifying the lambda calculus CPSer. More... over 13 years ago