Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
Main.hs		Main.hs
Parser.hs		Parser.hs
README.md		README.md
STLC.hs		STLC.hs
STLC.v		STLC.v

Repository files navigation

STLC

Try to implement a STLC REPL in Coq & Haskell. Formalized in Coq, Run in Haskell.

TODO

Formally verify some feature of this implementation in Coq
De bruijn Index

About

❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.

programming-language stlc simply-typed-lambda-calculus

Report repository

Releases

No releases published

Languages