Georges Dupéron
|
fe081f9ddf
|
Changed badge URL to CodeCov
|
2017-04-21 14:02:48 +02:00 |
|
Georges Dupéron
|
a28563446f
|
Updated description
|
2017-04-20 20:48:01 +02:00 |
|
Georges Dupéron
|
311d0ef9c4
|
Do not provide worklist-function directly, only provide the wrapper macro.
|
2017-04-20 19:54:33 +02:00 |
|
Georges Dupéron
|
db1a438d90
|
Removed WIP mention from README file
|
2017-04-20 18:32:22 +02:00 |
|
Georges Dupéron
|
2bead71e16
|
Moved implementation to main.rkt (part 2: update) + documentation
|
2017-04-20 18:31:35 +02:00 |
|
Georges Dupéron
|
5b5bbc3a1f
|
Moved implementation to main.rkt (part 1: rename)
|
2017-04-20 18:31:22 +02:00 |
|
Georges Dupéron
|
8499defa8a
|
Renamed worklist → worklist-function and work → worklist
|
2017-04-20 14:55:14 +02:00 |
|
Georges Dupéron
|
679f6f1783
|
Cleanup.
|
2017-04-19 20:31:52 +02:00 |
|
Georges Dupéron
|
b0532aa52e
|
Added maintenance badge (2017)
|
2017-04-19 20:22:07 +02:00 |
|
Georges Dupéron
|
afe3470339
|
Cleanup
|
2017-04-15 02:13:00 +02:00 |
|
Georges Dupéron
|
b5f611beb5
|
Now worklist handles duplicate elements correctly
|
2017-04-14 21:14:50 +02:00 |
|
Georges Dupéron
|
53ac33f9d9
|
Intersection types are present only in Racket versions 6.6 and above
|
2017-04-13 19:12:37 +02:00 |
|
Georges Dupéron
|
eacc4fdc75
|
Updated README
|
2017-04-13 19:11:54 +02:00 |
|
Georges Dupéron
|
6c8925c1ee
|
Added missing dependencies
|
2017-04-13 18:45:23 +02:00 |
|
Georges Dupéron
|
e9089b872c
|
Initial commit
|
2017-04-13 18:37:37 +02:00 |
|