GitHub - poplmark-reloaded/poplmark-reloaded.github.io: POPLMark challenge reloaded

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
agda		agda
beluga		beluga
code		code
coq		coq
pdf		pdf
index.html		index.html
jfp.bib		jfp.bib
style.css		style.css

About

POPLMark challenge reloaded

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

Languages