diff --git a/README.md b/README.md index a94f238..4d1639d 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,12 @@ -[![Build Status,](https://img.shields.io/travis/jsmaniac/delay-pure/master.svg)](https://travis-ci.org/jsmaniac/delay-pure) -[![Coverage Status,](https://img.shields.io/coveralls/jsmaniac/delay-pure/master.svg)](https://coveralls.io/github/jsmaniac/delay-pure) -[![Build Stats,](https://img.shields.io/badge/build-stats-blue.svg)](http://jsmaniac.github.io/travis-stats/#jsmaniac/delay-pure) -[![Online Documentation.](https://img.shields.io/badge/docs-online-blue.svg)](http://docs.racket-lang.org/delay-pure/) +[![Build Status,](https://img.shields.io/travis/jsmaniac/typed-worklist/master.svg)](https://travis-ci.org/jsmaniac/typed-worklist) +[![Coverage Status,](https://img.shields.io/coveralls/jsmaniac/typed-worklist/master.svg)](https://coveralls.io/github/jsmaniac/typed-worklist) +[![Build Stats,](https://img.shields.io/badge/build-stats-blue.svg)](http://jsmaniac.github.io/travis-stats/#jsmaniac/typed-worklist) +[![Online Documentation.](https://img.shields.io/badge/docs-online-blue.svg)](http://docs.racket-lang.org/typed-worklist/) [![License: CC0 v1.0.](https://img.shields.io/badge/license-CC0-blue.svg)](https://creativecommons.org/publicdomain/zero/1.0/) -delay-pure -========== +Typed Worklist +============== -Non-cached promises for Typed/Racket, like delay/name. Should be sound for -occurrence typing (unlike delay/name) because only pure functions are allowed. +A Typed/Racket implementation of Kildall's worklist algorithm, with multiple worklists of different types. + +Currently a work in progress. \ No newline at end of file