glc

A lambda calculus #lang

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
    License
      Last updatedFriday, October 9th, 2020 12:19:54am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/GriffinMB/glc.git22fd96aa0a11b092cd8aaaeb049e03bea05764d3
      Last checkedSunday, October 26th, 2025 6:41:18am (UTC)
      Last editedSunday, September 20th, 2020 12:41:43am (UTC)
      Date addedSunday, September 20th, 2020 12:41:43am (UTC)
      Modules
      • glc/shared/numbers.rkt
      • glc/base/expander.rkt
      • glc/simply-typed/base/expander.rkt
      • glc/base/lang/reader.rkt
      • glc/main.rkt
      • glc/scratch.rkt
      • glc/simply-typed/lang/reader.rkt
      • glc/shared/cond.rkt
      • glc/simply-typed/base/lang/reader.rkt
      • glc/simply-typed/expander.rkt
      • glc/shared/core.rkt
      • glc/lib/expander.rkt
      • glc/shared/list.rkt
      • glc/lib/reader.rkt
      • glc/scribblings/glc.scrbl