Church encodings written in OCaml
-
Updated
Feb 5, 2017 - Standard ML
Church encodings written in OCaml
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.
Trying to do lambda calculus (church encoding) with elixir :)
Church encoded numerical computations over lambda-calculus implemented in PHP
hiptex project to allow constructing slavonic PDFs according HIP standard
Church encoding to represent typical programming structures on Javascript
Lambda Calculus (LC) playground using kotlin!
Perform computation using purely abstract λ-functions
⚡ Functional Programming Course
Зде расположен стандарт hip, применяемый для хранения и набора текстов в ц-с и греческом правописании, а также дополнения к нему.
FizzBuzz implemented in Church encoding, from scratch
Church Encoding implementation in Clojure
dneslov is a diary calendar containing the name of orthodox christian feasts and saints celebs
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Simple untyped λάμδα calculus on Ruby
Church encoding in PHP
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."