Commits

Author Commit Message Labels Comments Date
Sorts Mill
Disable ot_file in the Makefile because it is broken and probably not worth fixing.
Sorts Mill
-latslib not needed for recent ATS2.
Sorts Mill
Further file rearrangement. Fix some Makefile targets.
Sorts Mill
Comment that the merges are stable.
Sorts Mill
Add a top comment to the Makefile and move everything to an ats_list_demo directory.
Sorts Mill
Add list rotation support.
Sorts Mill
Some rephrasing.
Sorts Mill
Remove an excess space character.
Sorts Mill
More Pure list functionality. With mergesort.
Sorts Mill
Change the name from ‘merge’ to ‘list_merge’.
Sorts Mill
Use a linear type for pattern matching.
Sorts Mill
Implement merge.
Sorts Mill
Pattern matching for Pure lists.
Sorts Mill
Code improvements.
Sorts Mill
Some more ATS/Pure list stuff.
Sorts Mill
Basic functionality for working in ATS with Pure lists.
Sorts Mill
Start of a new ATS/Pure demo of working with lists.
Sorts Mill
Remove cruft; add a comment.
Sorts Mill
Working purelist_rotate.
Sorts Mill
Part way towards reworking ats_and_pure_types.pure without static purelist lengths.
Sorts Mill
Got a rotate test working, but the ‘purelist’ stuff with dependent types seems too complicated to be worth having as an example. Better to rewrite everything in terms of purexp only, or with purelist not having the static length parameter.
Sorts Mill
Improvements to purexp2PurelistGte.
Sorts Mill
Slight elaboration of purexp --> purelist conversion.
Sorts Mill
Combine changes from the Pure distro with just throwing A.
Sorts Mill
Major changes to the Pure types example.
Sorts Mill
Check in before making major changes.
Sorts Mill
Some dependent types.
Sorts Mill
Initial version of ats_and_pure_types.pure.
Sorts Mill
Throw more information if the matrix is not square.
Sorts Mill
A Gauss-Jordan demo for Pure.
  1. Prev
  2. Next