predicates

A library for constructing predicates in a point-free style

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, June 27th, 2016 12:21:09am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/jackfirth/predicatesde69a62ca4252a0a05902727b032316a94aed610
Last checkedWednesday, May 24th, 2017 5:45:56am (UTC)
Last editedWednesday, August 24th, 2016 4:49:08am (UTC)
Modules
  • predicates/main.rkt
  • predicates/logic.rkt
  • predicates/test-helpers.rkt
  • predicates/contract-helpers.rkt
  • predicates/conditional.rkt
  • predicates/predicates.scrbl
  • predicates/list.rkt
  • predicates/comparison.rkt