A Language inspired from Lambda Calculus written in F#

Which transpiles to F# !

Introduction

L# supports Pure Functional paradigm

It provides Function Abstractions from Lambda Calculus

Example

L# Code

( ^b. ( b( ^x. ^y. x ) ) ( ^x. ^y. y ) ) ( ^x. ^y. x )

Transpiled to F#

( fun b-> ( b( fun x-> fun y-> x ) ) ( fun x-> fun y-> y ) ) ( fun x-> fun y-> x )

Bundler Code

#load "../LambdaSharp.fsx"
open LambdaSharp      
LambdaSharp.transpileFromFile "./one.lsx" "one.target.fsx"

More on Lambda Calculus

Introduction

Church Encoding

Church Encodings Implementation

License

MIT

Copyright (c) 2018 Archan Patkar