L

LambdaCalculus

Project information

A haskell tool to manipulate lambda expressions in De Bruijn form.

9 Commits
1 Branch
0 Tags

README
GNU GPLv3
CHANGELOG

Created on

January 11, 2022

Loading