-
Sketch init and produceEvents for LineTerminal facility.
Chris Pressey
5 years ago
-
Rename and import qualified.
Chris Pressey
5 years ago
-
Language.Robin.Facilities module, rename type FacilityHandler.
Chris Pressey
5 years ago
-
Add notes to TODO.
Chris Pressey
5 years ago
-
Refactor eventLoop.
Chris Pressey
5 years ago
-
Update TODO.
Chris Pressey
5 years ago
-
Update README, HISTORY.
Chris Pressey
5 years ago
-
Remove EventLoop's dependency on LineTerminal.
Chris Pressey
5 years ago
-
Inject facilities from above instead of depending on them directly.
Chris Pressey
5 years ago
-
Split up Reactors module.
Chris Pressey
5 years ago
-
Merge pull request #2 from catseye/develop-0.4
Chris Pressey
(commit: GitHub)
5 years ago
-
Add more type annotations, for doc. `Evaluable`, not `Intrinsic`.
Chris Pressey
5 years ago
-
Fix link.
Chris Pressey
5 years ago
-
Fix Haste build.
Chris Pressey
5 years ago
-
Update HISTORY.
Chris Pressey
5 years ago
-
It was the tests that were wrong, not how I was using QuickCheck.
Chris Pressey
5 years ago
-
Checkpoint, with some refactoring.
Chris Pressey
5 years ago
-
Checkpoint.
Chris Pressey
5 years ago
-
Add another QuickCheck test, troubleshoot existing ones a bit.
Chris Pressey
5 years ago
-
Add some type annotations, rename some functions.
Chris Pressey
5 years ago
-
Closer, but still not ready for prime time.
Chris Pressey
5 years ago
-
Add two properties from the spec tests, but not ready for them.
Chris Pressey
5 years ago
-
Add a few rudimentary QuickCheck tests.
Chris Pressey
5 years ago
-
Update HISTORY.
Chris Pressey
5 years ago
-
Convert the random-u16 facility to be unsigned 16-bit numbers.
Chris Pressey
5 years ago
-
Fix > and < for comparisons against zero.
Chris Pressey
5 years ago
-
Re-implement < > <= >= to avoid bugs with large numbers.
Chris Pressey
5 years ago
-
Add some failing tests for comparing big numbers, h/t wob_jonas
Chris Pressey
5 years ago
-
Add random-source facility.
Chris Pressey
5 years ago
-
`intrinsic` is an ontological status, not a data type.
Chris Pressey
5 years ago