PLaneT Package Repository : PLaneT

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
154	cce/scheme.plt	anonymous	enhancement	(4 1)
154	schememodlang/this-package + defmodulelang/this-package
158	cce/scheme.plt	dherman	enhancement	(4 1)
158	Feature request: lang/this-package
182	cce/dracula.plt	pnkfelix	defect
182	example from docs defines MDistributive module twice (and MDistributeLists not at all)
183	cce/dracula.plt	pnkfelix	defect
183	dracula rename export example from reference docs does not work
184	cce/dracula.plt	pnkfelix	defect
184	modular acl2 unresolved import problem, useless error message
186	cce/dracula.plt	pnkfelix	defect
186	Dracula errors on (just) + or - at REPL
200	cce/scheme.plt	cobbe	defect	(4 1)
200	apparent Scribble error during package installation
234	cce/scheme.plt	Sam TH	defect	(6 0)
234	slide/stage
235	cce/scheme.plt	Sam TH	defect	(6 0)
235	add name? to staged
181	cce/dracula.plt	pnkfelix	defect
181	example from docs declares IDistributeLists as a module
185	cce/dracula.plt	pnkfelix	defect
185	Modular ACL2 reacts poorly to mixing of "code" and exports
236	cce/scheme.plt	sstrickl@…	enhancement	6.0
236	pict-* from scheme/slideshow should combine in the order of the clauses
327	cce/fasttest.plt	jmj@…	defect	(3 9)
327	require error on installing