mogul:/chorus/usp-beta/jn

type	:	package
id	:	`mogul:/chorus/usp-beta/jn`
section	:	mogul:/chorus/usp-beta
version	:	0.2.3
blurb	:	Underspecified beta reduction.
authors	:	Joachim Niehren Chorus Project (sfb 378)
download	:	chorus-usp-beta-jn__1.2.5__source__0.2.3.pkg chorus-usp-beta-jn__1.3.0__source__0.2.3.pkg
requires	:	`mogul:/chorus/clls` `mogul:/niehren/output` `mogul:/niehren/base` `mogul:/niehren/inspector-space`
provides	:	`x-ozlib://chorus/beta/jn-simple/rclls.ozf` `x-ozlib://chorus/beta/jn-simple/clls.ozf`

Jn