Innf107 / vega Public

A dependently typed programming language with direct style effects and linearity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
app		app
rts		rts
src/Vega		src/Vega
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
fourmolu.yaml		fourmolu.yaml
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
vega.cabal		vega.cabal