Search Package Index

4 packages found

 PackageDescriptionBuild

eopl

Teaching language for _Essentials of Programming Languages_

Docs:

fector

Persistent Functional Vectors

Docs: README
Tags:
succeeds

pcf

PCF with Contracts and Symbolic Values

Tags:
fails

ralist

Purely Functional Random Access Lists

Tags:
succeeds