Search Package Index

5 packages found

 PackageDescriptionBuild 

icfp2017-minikanren

A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized.

This package needs documentation

Tags:
succeeds3

impl-excl

Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates

This package needs documentation

Tags:
succeeds3

minikanren

A Planet 2 package for minikanren

Tags:
succeeds0

New

non-det

Racket non-determinism

This package needs documentation

Tags:
succeeds3

parenlog

A language that is like Prolog, but parenthetical.

Docs:
succeeds; has dependency problems0