(module info (lib "infotab.ss" "setup")
  (define name "lambda-sigma")
  (define blurb
    (list "The lambda-sigma calculus of Abadi, Cardelli, Curien, and Lévy."))
  (define primary-file "lambda-sigma.ss")
  (define doc.txt "doc.txt")
  (define categories '(misc metaprogramming))
  (define release-notes
    (list '(p "02 May 2007 " (code "(\"dherman\" \"lambda-sigma.plt\" 1 1)"))
          '(ul (li "Slightly cleaner implementation using context-closure."))))
  (define version "5"))