LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Racket

transient-glc

Redex model of Transient Gradual Lambda Calculus

RacketEmerging
GitHub
Stars
—
Forks
—
Contributors
3
Last push
12mo ago

Recent commits

Latest commits.

  • Merge pull request #15 from joecummings/codex/fix-apparent-bugs-in-implementation
    0c41163Joe Cummings12mo ago
  • Fix random-tests.rkt syntax
    9c9dc54Joe Cummings12mo ago
  • Update README.md
    61ad2a3Joe Cummings85mo ago
  • Update README.md
    902b20cJoe Cummings86mo ago
  • Merge pull request #14 from joecummings/joe-wip
    393a4d6Joe Cummings86mo ago
more annotations and updated README
7d6758bJoe Cummings86mo ago
  • split tests between unit and random
    7210424Joe Cummings86mo ago
  • Update README.md
    fe57c2bJoe Cummings86mo ago
  • Top contributors

    Builders behind this project.

    joecummings
    67 commits
    alexkgrimes
    22 commits
    mattwparas
    1 commits