History of
doc
@master
git clone https://git.catseye.tc/Robin/
-
More explanations of some design decisions.
catseye
12 years ago
-
Add explanations of several more design decisions.
catseye
12 years ago
-
More notes on design decisions.
catseye
12 years ago
-
Stuff about the why's of rigorous definition.
catseye
12 years ago
-
More additions to the design documents.
catseye
12 years ago
-
Some edits to the Practical Matters document.
catseye
12 years ago
-
Add beginnings of Design Decisions document.
catseye
12 years ago
-
Add some notes on practical matters of programming languages.
catseye
12 years ago
-
At least it's not throwing false positives anymore.
Cat's Eye Technologies
12 years ago
-
Be less ambitious about analyzing macros. Just functions, ok?
Cat's Eye Technologies
12 years ago
-
Updates to documentation.
Cat's Eye Technologies
12 years ago
-
Mechanically translate comment into code (not much help.)
Cat's Eye Technologies
12 years ago
-
A few tests for `pure-macro-defn?`.
Cat's Eye Technologies
12 years ago
-
Implement and use `pure-macro-defn?-r`.
Cat's Eye Technologies
12 years ago
-
Change `lookup`, add `extend` and `delete` and tests for them.
Cat's Eye Technologies
12 years ago
-
Another failing test, some notes, rename `pure-macro?`.
catseye
12 years ago
-
Rename `pure?` to `pure-expr?` and explain why.
catseye
12 years ago
-
Edit documentation.
catseye
12 years ago
-
Analyze `bind` in purity checker, get a different failing test.
catseye
12 years ago
-
Fix what's actually wrong: `lookup`.
Cat's Eye Technologies
12 years ago
-
Mucking about, found a bug with metadata, added failing test.
Cat's Eye Technologies
12 years ago
-
Keep improving `pure?`, millimeter by millimeter.
catseye
12 years ago
-
Step towards improving `pure?`.
catseye
12 years ago
-
Fix a test, add a comment.
Cat's Eye Technologies
12 years ago
-
Add failing test.
catseye
12 years ago
-
Merge from branch metadata-on-values.
catseye
12 years ago
-
Add `pure` module tests to the test driver.
catseye
12 years ago
-
Initial, not particularly successful, experiments with `pure`.
Cat's Eye Technologies
12 years ago
-
Update Static Analysis document a bit.
Cat's Eye Technologies
12 years ago
-
Better tests for `raise`.
Cat's Eye Technologies
12 years ago