glebec / lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
☆515Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-talk
- Learn PureScript with this "clone and play" repository☆588Updated 11 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆966Updated 2 weeks ago
- Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript☆384Updated 2 weeks ago
- Applied Functional Programming Course - Move from exercises to a working app!☆624Updated 11 months ago
- Learn Haskell, with tiny lessons.☆562Updated 3 years ago
- Fork of the original Data61 course to be more Stack friendly☆439Updated 3 years ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,245Updated last month
- Resources for learning Category Theory for an enthusiast☆603Updated last year
- A List of Foundational Haskell Papers☆863Updated this week
- Tutorial Series - Make the Leap from Javascript to PureScript☆305Updated last year
- An introduction to programming language theory in Agda☆1,371Updated this week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆697Updated 3 years ago
- V2 of Real World OCaml☆1,186Updated 4 months ago
- Hazel, a live functional programming environment with typed holes☆799Updated this week
- ACT community resources☆465Updated 4 years ago
- An interpreter for learning and exploring pure λ-calculus☆449Updated 3 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,080Updated last month
- A functional programming language based on algebraic effect handlers☆862Updated 2 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆752Updated last month
- I'm trying to update the Real World Haskell book☆792Updated last year
- A little course to learn about some of the more obscure GHC extensions.☆638Updated last year
- The Dao of Functional Programming☆298Updated last month
- Standard library for Fantasy Land☆234Updated this week
- Sources for the PureScript book☆360Updated 3 months ago
- Proving leftpad correct two-dozen different ways☆650Updated 9 months ago
- Very low feature GHCi based IDE☆1,135Updated 8 months ago
- Specification for common algebraic structures in JavaScript based on Fantasy Land☆771Updated 5 years ago
- Concurrent Programming with Effect Handlers☆662Updated 4 months ago
- Software Foundations in Idris☆452Updated 5 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,157Updated 2 months ago