#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.")))