Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Robin/
- Get sources to run under Hugs once again. Chris Pressey 4 years ago
- Bump version number. Try to avoid using the word "reactive". Chris Pressey 4 years ago
- Improve the "not quite an adventure" example program. Chris Pressey 4 years ago
- Merge pull request #6 from cpressey/develop-0.7 Chris Pressey (commit: GitHub) 4 years ago
- Short note of explanation about the state of the QuickCheck tests. Chris Pressey 4 years ago
- Explain about picking the first semantically equivalent definition. Chris Pressey 4 years ago
- Update statements made in README. Chris Pressey 4 years ago
- Note that abort values now have a defined representation. Chris Pressey 4 years ago
- No need for Either in World results. Chris Pressey 4 years ago
- Unwind more in TopLevel. Chris Pressey 4 years ago
- Begin unwinding error messages in TopLevel. Chris Pressey 4 years ago
- Canonical representation of abort values. Chris Pressey 4 years ago
- Remove `error` from Language.Robin.CmdLine as well. Chris Pressey 4 years ago
- TODO: Have a canonical representation of abort values. Chris Pressey 4 years ago
- Do not call `error` in Robin.Language.TopLevel. Chris Pressey 4 years ago
- Remove two more `error`s from Language.Robin.TopLevel. Chris Pressey 4 years ago
- Begin removing `error`s from Robin.TopLevel. Chris Pressey 4 years ago
- Fix arbitrary instances. Successfully check multiple definitions! Chris Pressey 4 years ago
- Mostly write down some notes. Chris Pressey 4 years ago
- Intrinsics are Builtins, but not the other way around. Chris Pressey 4 years ago
- Consider macros to be intensionally equal. Chris Pressey 4 years ago
- First pass at QuickCheck-ing multiple definitions for equivalence. Chris Pressey 4 years ago
- Collect secondaryDefs. Need to test each against its primary def now. Chris Pressey 4 years ago
- Refactor so that CmdLine module deals with Worlds. Chris Pressey 4 years ago
- Rename ADT Chris Pressey 4 years ago
- More testing. Chris Pressey 4 years ago
- Form data structure for data collected by TopLevel.collect. Chris Pressey 4 years ago
- Refactor loadEnv into CmdLine module. Chris Pressey 4 years ago
- Add another test, which does not pass. Chris Pressey 4 years ago
- Add an Expr-based property test. Chris Pressey 4 years ago