Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Robin/
- Add line item to HISTORY. Chris Pressey 5 years ago
- Update TODO. Chris Pressey 5 years ago
- It's grown. Chris Pressey 5 years ago
- Factor out common code. Chris Pressey 5 years ago
- Builtin versions of the comparison operators. Chris Pressey 5 years ago
- Fix QuickCheck tests. Chris Pressey 5 years ago
- Split up the cmp.robin file into files that each define one thing. Chris Pressey 5 years ago
- Rename >, >=, <, <= to gt?, gte?, lt?, lte? Chris Pressey 5 years ago
- More justfication. Chris Pressey 5 years ago
- Reminder. Chris Pressey 5 years ago
- Explain a bit about Robin being excessively principled. Chris Pressey 5 years ago
- Small improvements to test script. Chris Pressey 5 years ago
- Unused (now) function. Chris Pressey 5 years ago
- Syntax. Chris Pressey 5 years ago
- Update QuickCheckTests. Must faster again now. Chris Pressey 5 years ago
- Implement all builtins. Chris Pressey 5 years ago
- Convert most of builtins. Chris Pressey 5 years ago
- All unit tests pass again (without builtins.) Chris Pressey 5 years ago
- Fix bug. Most tests pass. Quickcheck tests are v. slow though. Chris Pressey 5 years ago
- Checkpoint after fixing QuickCheck. Chris Pressey 5 years ago
- Dedicated Env datatype. Checkpoint. Chris Pressey 5 years ago
- Move the rationale from the TODO to the rationale. Chris Pressey 5 years ago
- Don't leak symbols from `cmp`. Chris Pressey 5 years ago
- Notes in TODO. Chris Pressey 5 years ago
- Fix built-in remainder, def'n of remainder to not leak symbols. Chris Pressey 5 years ago
- Checkpoint making a built-in for `remainder`. Chris Pressey 5 years ago
- Improve definition of `divide` to not expose unnecessary symbols. Chris Pressey 5 years ago
- Make multiply, divide builtins; fix definition of multiply. Chris Pressey 5 years ago
- We can have builtins for `arith` package as well as `small` package. Chris Pressey 5 years ago
- Revert "Add (compose f g) to stdlib, which composes two functions." Chris Pressey 5 years ago