glc

A lambda calculus #lang

Build status: ok passing tests missing license metadata

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 checkedMonday, December 2nd, 2024 4:46:14pm (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