#lang info
(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 version "0.2")
(define pkg-authors '(wilbowma))