Skip to content

Releases: wouter-swierstra/predicate-transformers

ICFP Code

26 Jun 20:25
Compare
Choose a tag to compare

This release contains the code automatically extracted from our ICFP paper.