| Makefile: also rebuild if tests have been changed |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Makefile: fix clean target; use correct title for api target |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Commit the modified source files as well |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| - improved Makefile: only rebuild code/docs as necessary - rename MKLib to Prelude. MKMath is still separate for now |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Updated build scripts |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Updated presentation draft |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Properly restrict the range of numbers generated |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Presentation draft update |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| MKMath: build_num, read_num, add_o, sub_o |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Add interleaving constructs for if, bind, mplus and all -- with tests |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Fixed stack overflow. Culprit is if_e, not all. Added a 'both' construct in any case, as it is faster than all if only two goals are combined (e.g. in if_e) |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Presentation: add TODO items, fix Makefile to also clean ui/ dir |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Add more relations and tests from Reasoned Schemer page 77 Bug in 'all' implementation exposed; see BUGS file |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| * Makefile: - add apidoc target - fix check target to use check script |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| - More presentation touch-up - Makefile for rebuilding and uploading presentation |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Add license text to all source files |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| - Passes all tests - Documentation stubs |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Convert from using Scala Lists to using raw pairs |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Remove cond_e in favour of if_e: fits Scala syntax better |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Reimplement bind using Stream.flatMap |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Added tests for conde and member_o (not working yet) |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Convert conde(...) to be variadic as well |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| The all(...) goal is now a variadic function, rather than taking a list of goals |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| No longer use the Option (Maybe) monad for goal results; a failing goal can be represented as an empty stream instead |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| - Substitutions are now Lists, not Streams - Logic subsystem implemented (currently broken) - List functions added to library (relies on logic subsystem being fixed) - More scalacheck tests |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
| Initial commit: implementation of, and tests for, substitution and unification |
hircus
as Michel Alexandre Salim
|
More...
|
about 15 years ago
|
