LIVS

Language Independence via Synthesis

LIVS for Live

You can use LIVS for live programming-by-example once someone implements it

Name		Name	Last commit message	Last commit date
Latest commit History 234 Commits
benchmarks		benchmarks
exe		exe
language_interface		language_interface
src/LIVS		src/LIVS
target_files		target_files
tests		tests
.gitignore		.gitignore
.travis.yml		.travis.yml
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
LIVS.cabal		LIVS.cabal
README.md		README.md
Setup.hs		Setup.hs