GitHub - csetzer/cspagdaPublic

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
TyDe2016		TyDe2016
Types2016Proceedings		Types2016Proceedings
.gitignore		.gitignore
LICENSE		LICENSE
README.txt		README.txt

Repository files navigation

This respository contains the CSPAgda library
as developed by Bashar Igried

TyDe2016                     contains code for the repository for the TyDe paper
                             extracted from 
                             papersWithSetzer/TyDePaper/vers2WithTerminateAsSkip/
                             The subdirectory html/loadAllForTesting.html
                             contains an html version of the code
                             
Types2016Proceedings         contains code related to the Postproceedings of the  Types2016 meeting
                             The subdirectory html/loadAllForTesting.html
                             contains an html version of the code