A complete translation of plans to linear logic

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
AgdaADJ @ 30ee365		AgdaADJ @ 30ee365
_build		_build
src		src
test		test
.gitmodules		.gitmodules
README.md		README.md
agda-dialogic.agda-lib		agda-dialogic.agda-lib

Provide feedback