LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

PureScript

redexer

Step through the reduction of an untyped lambda calculus term.

PureScriptEmerginglambda-calculuspurescript
GitHubWebsite
Stars
1
Forks
—
Contributors
1
Last push
42mo ago

Recent commits

Latest commits.

  • Update README.md
    9e89e13Max Hallinan81mo ago
  • Short circuit build script if any step fails.
    36c982cMax Hallinan81mo ago
  • Add font style for initial redexer content so there is less flash of
    49445feMax Hallinan81mo ago
  • Fix test broken by psfmt.
    406dd67Max Hallinan81mo ago
  • Format with psfmt
    b1b8089Max Hallinan81mo ago
Make copy change
443e39eMax Hallinan81mo ago
  • Fix bug where focused redex was always the outermost redex.
    9e6576aMax Hallinan81mo ago
  • Replace dotted underline with solid because dotted underline doesn't look good on Chrome.
    79a7b2aMax Hallinan81mo ago

    • Top contributors

    Builders behind this project.

    maxhallinan
    59 commits