GitHub - RaineForest/BookLang: (Partially) Implements language defined in "Access Control, Security, and Trust: A Logical Approach" by Shiu-Kai Chin and Susan Older

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
ex5-1		ex5-1
ex5-1simp		ex5-1simp
ex7-4		ex7-4
main.scm		main.scm
simp		simp

About

(Partially) Implements language defined in "Access Control, Security, and Trust: A Logical Approach" by Shiu-Kai Chin and Susan Older

No releases published