Osazone

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar.Read README.pdf in doc for more information.

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.github/workflows		.github/workflows
app		app
doc		doc
examples		examples
lib		lib
src		src
test		test
.gitignore		.gitignore
.stylish-haskell.yaml		.stylish-haskell.yaml
ChangeLog.md		ChangeLog.md
Dockerfile		Dockerfile
LICENSE		LICENSE
Osazone.cabal		Osazone.cabal
README.md		README.md
Setup.hs		Setup.hs
hie.yaml		hie.yaml
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback