GitHub - f-algebra/elea-phd: Elea (as developed for my PhD)

Name		Name	Last commit message	Last commit date
Latest commit History 289 Commits
hosc		hosc
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README		README
Setup.hs		Setup.hs
cabal.config		cabal.config
elea.cabal		elea.cabal
makefile		makefile
phd_tests.elea		phd_tests.elea
prelude.elea		prelude.elea

Repository files navigation

This is an under-development version which is in no way fit for any kind of usage.

Elea (as developed for my PhD)

No packages published