diff --git a/cur-lib/info.rkt b/cur-lib/info.rkt index 8967515..fc2d01e 100644 --- a/cur-lib/info.rkt +++ b/cur-lib/info.rkt @@ -2,6 +2,6 @@ (define collection 'multi) (define deps '("base" ("redex-lib" #:version "1.11"))) (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 pkg-authors '(wilbowma)) diff --git a/cur/info.rkt b/cur/info.rkt new file mode 100644 index 0000000..b4cb13d --- /dev/null +++ b/cur/info.rkt @@ -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))