hiptex project to allow constructing slavonic PDFs according HIP standard
Church encodings written in OCaml
An implementation of church encoding with Scala.
Simple untyped λάμδα calculus on Ruby
Bukovina is the Orthodox Christian God-service library. UNMAINTAINED. See the nearby project "dneslov" and the website
Trying to do lambda calculus (church encoding) with elixir :)
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.
Church encoding to represent typical programming structures on Javascript
⚡ Functional Programming Course
Church encoded numerical computations over lambda-calculus implemented in PHP
⛪ Church encodings for JavaScript primitives
Lambda Calculus (LC) playground using kotlin!
FizzBuzz implemented in Church encoding, from scratch
An interpreter for learning and exploring pure λ-calculus
Toy project to demo implementing addition and multiplication in TypeScript's type space.
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Introduction into functional programming free structures: free monads, free monoids, free applicatives.
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."