Skip to content
/ TAPL Public

Locally nameless implementation of the Holy Types and Programming Languages using TLC!

www.cis.upenn.edu/~bcpierce/tapl/
2 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

baberrehman/TAPL

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
ch11
ch11
 
 
ch14
ch14
 
 
ch15
ch15
 
 
ch3
ch3
 
 
ch5
ch5
 
 
ch6
ch6
 
 
ch8
ch8
 
 
ch9
ch9
 
 
README.md
README.md
 
 

Repository files navigation

TAPL

About

Locally nameless implementation of the Holy Types and Programming Languages using TLC!

www.cis.upenn.edu/~bcpierce/tapl/

Topics

coq typesystems locally-nameless typetheory

Resources

Readme
Activity

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages