info.ss
#lang setup/infotab
(define name "Context semantics for the Geometry of Interaction.")
(define categories '(metaprogramming))
(define required-core-version "4.1.5")
(define repositories (list "4.x"))
(define primary-file 
  '("main.ss"))
(define blurb
  (list '(div "Context semantics for the Geometry of Interaction.")))
(define release-notes 
  (list
   '(div "Initial release.")))