Hacker GitHub

← All repos

alangpierce/LambdaCalculusPlayground

View on GitHub ↗ ★ 18 JavaScript

An Android app that provides a visual interface for creating and evaluating lambda calculus expressions

4 mentions on Hacker News by 2 people: 0 stories, 4 comments · first 2016-12-26 · latest 2017-07-05

Mentions per year 4 mentions · busiest year 2016 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …me. Here's where I define the five cases for a lambda calculus expression undergoing evaluation: https://github.com/alangpierce/LambdaCalculusPlayground/blob... Here are the autogenerated types for those cases (there's other code to make…
    comment by alangpierce · 2017-07-05 · in Pattern Matching with TypeScript
  2. …restructuring to make room for the React Native stuff, so that may be a little better to work with. https://github.com/alangpierce/LambdaCalculusPlayground/comm...
    comment by alangpierce · 2016-12-29 · in An Introduction to the Lambda Calculus (2015)
  3. Did I find the right point in the history? https://github.com/alangpierce/LambdaCalculusPlayground/tree...
    comment by diyseguy · 2016-12-27 · in An Introduction to the Lambda Calculus (2015)
  4. Yep, it's on GitHub: https://github.com/alangpierce/lambdacalculusplayground I actually got mostly done porting it to React Native, but never totally finished it, so the GitHub repo is React Native and has some bugs. But you can go back in…
    comment by alangpierce · 2016-12-26 · in An Introduction to the Lambda Calculus (2015)