Index
All Packages
All Categories
By Author
ap
(3)
cp
(3)
dp
(3)
exe
(3)
gui
(0)
gui/gtk
(0)
gui/tk
(4)
io
(1)
lib
(11)
math
(0)
net
(9)
nlp
(18)
op
(4)
os
(2)
program
(3)
sp
(2)
tool
(9)
wp
(2)
xml
(2)
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