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