Search Package Index

5 packages found

 PackageDescriptionBuild 

eopl

Teaching language for _Essentials of Programming Languages_

Docs:
0

fector

Persistent Functional Vectors

This package needs documentation

Tags:
succeeds3

pcf

PCF with Contracts and Symbolic Values

Docs:
Tags:
fails5

ralist

Purely Functional Random Access Lists

Docs:
Tags:
succeeds0

New

redex-aam-tutorial

A brief introduction to the Redex and Abstracting Abstract Machines.

This package needs documentation

Tags:
3