suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add cur meta-package; tweaked descrip. of cur-lib

Browse Source
This commit is contained in:
William J. Bowman 2016-01-10 18:52:35 -05:00
parent 0a1a14b850
commit 93b6495d69
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cur-lib/info.rkt
View File

@ -2,6 +2,6 @@
(define collection 'multi) (define collection 'multi)
(define deps '("base" ("redex-lib" #:version "1.11"))) (define deps '("base" ("redex-lib" #:version "1.11")))
(define build-deps '()) (define build-deps '())
(define pkg-desc "Dependent types with parenthesis and meta-programming.") (define pkg-desc "implementation (no documentation, tests) part of \"cur\".")
(define version "0.2") (define version "0.2")
(define pkg-authors '(wilbowma)) (define pkg-authors '(wilbowma))

6
cur/info.rkt Normal file
View File

@ -0,0 +1,6 @@
#lang info
(define collection 'multi)
(define deps '("cur-lib" "cur-doc" "cur-test"))
(define implies '("cur-lib" "cur-doc" "cur-test"))
(define pkg-desc "Dependent types with parenthesis and meta-programming.")
(define pkg-authors '(wilbowma))