开源软件名称（OpenSource Name）：

开源软件地址(OpenSource Url)：

开源编程语言(OpenSource Language)：

开源软件介绍(OpenSource Introduction)：

Dependently Typed Lambda Calculus

This project is reorganization of the source code for the paper A Tutorial Implementation of a Dependently Typed Lambda Calculus.

The goal of this project is to make code readable and understandable.

An interested reader may also look at this darcs repo.

The goal of this project is to make reading and navigation of the code as simple as possible.

How to play with examples

Simply Typed Lambda Calculus

$ stack run st
Interpreter for the simply typed lambda calculus.
Type :? for help.
ST> :load prelude.st

Dependently Typed Lambda Calculus

$ stack run lp
Interpreter for lambda-Pi.
Type :? for help.
LP> :load prelude.lp