GitHub - likandia/lambda: Haskell programs for playing with lambda calculus · GitHub

Name		Name	Last commit message	Last commit date
src/Language/Lambda		src/Language/Lambda
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
lambda.cabal		lambda.cabal

Repository files navigation

This repository contains Haskell files to print lambda terms in the proper syntax, using minimal characters.

About

Haskell programs for playing with lambda calculus

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages