A proof of confluence for combinatory logic
-
Updated
Jan 16, 2017 - Coq
A proof of confluence for combinatory logic
bruteforge, a selective data combinator.
Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system
Combinatory Logic Interpreter with user-definable primitives and abstraction algorithms
Learning programs with the Exploration-Compression algorithm
Implementing the SKI combinator calculus in Haskell's type system
Simple Combinatory Logic and Lambda Calculus in Scala
writeups from the book of the same name
A self-hosting mini Haskell compiler with a mini C runtime.
Like the Programming Languages Zoo but with esoteric languages.
⛪ Church encodings for JavaScript primitives
This repository contains my solutions to some of the assignments of the courses I took during my undergraduate first and second year
SK combinator reducer in Java
"DeBruijn to SKI" Untyped language that compiles to Unlambda
Experiments to understand and find practical use cases for combinators.
JavaScript implementation of the T[ ] transformation
A prototypical proof checker and programming language based on illative combinatory logic
SK calculus reducer in as many programming languages as possible.
Add a description, image, and links to the combinatory-logic topic page so that developers can more easily learn about it.
To associate your repository with the combinatory-logic topic, visit your repo's landing page and select "manage topics."