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
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
Church Encoding Implementation in JavaScript
Introduction into functional programming free structures: free monads, free monoids, free applicatives.
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Church encodings written in OCaml
A small example of a nanopass style compiler
Simple untyped λάμδα calculus on Ruby
Church encoded numerical computations over lambda-calculus implemented in PHP
Lambda Calculus (LC) playground using kotlin!
hiptex project to allow constructing slavonic PDFs according HIP standard
Programming Languages CS-5616, taught by Dr. Junaid Haroon Siddiqui covers foundations of different paradigms of Programming Languages. This repository contains a few chosen assignments from this course.
Toy project to demo implementing addition and multiplication in TypeScript's type space.
Perform computation using purely abstract λ-functions
Church encoding in PHP
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
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."