PLaneT Package Repository : PLaneT > cce

View packages: 4.x | [3xx]
[contribute a package / log in]

Packages

Name	PLaneT Version	External Version	Owner	Description
class-utils.plt	(1 2)	—	cce	Class system utilities.
combinators.plt	(1 4)	—	cce	Useful, higher-order functions.
dracula.plt	(2 9)	—	cce	Provides the Dracula language level for ACL2 emulation.
equiv.plt	(1 2)	—	cce	Extensible Recursive Equivalence Relations.
fasttest.plt	(1 4)	—	cce	FastTest random test case generation. Inspired by the QuickCheck library for Haskell.
module-utils.plt	(1 2)	—	cce	Utilities for the PLT Scheme module system
parameter-utils.plt	(1 0)	—	cce	Parameterization utilities.
syntax-utils.plt	(1 3)	—	cce	Syntax and macro utilities.
website.plt	(1 1)	—	cce	Website creation functions.

Open tickets

Ticket Id	Component	Reporter	Type	Version
185	cce/dracula.plt	pnkfelix	defect
185	Modular ACL2 reacts poorly to mixing of "code" and exports
181	cce/dracula.plt	pnkfelix	defect
181	example from docs declares IDistributeLists as a module
200	cce/scheme.plt	cobbe	defect	(4 1)
200	apparent Scribble error during package installation
186	cce/dracula.plt	pnkfelix	defect
186	Dracula errors on (just) + or - at REPL
184	cce/dracula.plt	pnkfelix	defect
184	modular acl2 unresolved import problem, useless error message
183	cce/dracula.plt	pnkfelix	defect
183	dracula rename export example from reference docs does not work
182	cce/dracula.plt	pnkfelix	defect
182	example from docs defines MDistributive module twice (and MDistributeLists not at all)
158	cce/scheme.plt	dherman	enhancement	(4 1)
158	Feature request: lang/this-package
154	cce/scheme.plt	anonymous	enhancement	(4 1)
154	schememodlang/this-package + defmodulelang/this-package