An interpreter for learning and exploring pure λ-calculus
-
Updated
Apr 11, 2021 - Haskell
An interpreter for learning and exploring pure λ-calculus
⛪ Church Encoding in JS
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
🧮 Programming with pure lambda calculus
Church Encoding Implementation in JavaScript
A small example of a nanopass style compiler
Bukovina is the Orthodox Christian God-service library. UNMAINTAINED. See the nearby project "dneslov" and the website
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Introduction into functional programming free structures: free monads, free monoids, free applicatives.
Lambda Calculus (LC) playground using kotlin!
Simple untyped λάμδα calculus on Ruby
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Church encoding in PHP
An implementation of church encoding with Scala.
The λ-calculus in Haskell
⛪ Church encodings for JavaScript primitives
Church Encoding implementation in Clojure
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
⚡ Functional Programming Course
Зде расположен стандарт hip, применяемый для хранения и набора текстов в ц-с и греческом правописании, а также дополнения к нему.
Add a description, image, and links to the church-encoding topic page so that developers can more easily learn about it.
To associate your repository with the church-encoding topic, visit your repo's landing page and select "manage topics."