Search Package Index

4 packages found

 PackageDescriptionBuild 

datatype

Algebraic(-like) Data Types

This package needs documentation

This package needs tags

succeeds3

fme

Fourier-Motzkin elimination for integer inequality satisfiability

Docs:
Tags:
succeeds0

redex-chk

rackunit/chk style checks for redex ('term' quotes automatically)

This package needs documentation

succeeds3

typeset-rewriter

Simple, low-level rewriter tools for typesetting PLT Redex models

This package needs documentation

Tags:
succeeds3