suzanne.soy/typed-worklist
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updated README

Browse Source
This commit is contained in:
Georges Dupéron 2017-04-13 19:11:54 +02:00
parent 6c8925c1ee
commit eacc4fdc75
1 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
README.md
View File

@ -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.