Search Package Index

datatype

• sgtamkλ9da7926

Algebraic(-like) Data Types

This package needs documentation

This package needs tags

This package needs license metadata

fme

• sgtamkλ9da7926

Fourier-Motzkin elimination for integer inequality satisfiability

This package needs license metadata

redex-chk

• sgtamkλ9da7926

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

This package needs documentation

This package needs license metadata

typeset-rewriter

• sgtamkλ9da7926

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

This package needs documentation

This package needs license metadata