name: unstable-redex
description: Experimental libraries for typesetting PLT Redex models
license_spdx: Other
spec_version: 1.0
home_url: https://github.com/racket/unstable-redex/tree/HEAD
date: 2024-05-01
about_resource: NONE
libraries_io_url: https://libraries.io/racket/unstable-redex
vcs_tool: git
vcs_repository: https://github.com/racket/unstable-redex
vcs_branch: master
