- Timestamp:
- 2016-05-30T11:23:50-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-pair-queue.lisp
r3970 r3973 76 76 (is (universal-equalp (critical-pair-second pair) q))))) 77 77 78 ;; TODO: Implement more meaningful tests 79 78 80 79 81 (run! 'pair-queue-suite)
Note:
See TracChangeset
for help on using the changeset viewer.