agda2java

An experimental Agda compiler that targets the Java language. A paper about this project can be found here

Research Project CSE3000

This repository links to the work of students for the Research project course of the CSE bachelor at TU Delft.

Please see their projects here.

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
.vscode		.vscode
MAlonzo		MAlonzo
app		app
dist-newstyle		dist-newstyle
src		src
test		test
.gitignore		.gitignore
Bool.java		Bool.java
ChangeLog.md		ChangeLog.md
IO.java		IO.java
LICENSE		LICENSE
Nat.java		Nat.java
Primitive.java		Primitive.java
README.md		README.md
Setup.hs		Setup.hs
agda2java.cabal		agda2java.cabal
consume.agda		consume.agda
consume.agdai		consume.agdai
dependent.agda		dependent.agda
dependent.agdai		dependent.agdai
fib.agda		fib.agda
fib.agdai		fib.agdai
fib.java		fib.java
fixedUniverseFile.java		fixedUniverseFile.java
hie.yaml		hie.yaml
map.agda		map.agda
map.agdai		map.agdai
map.java		map.java
originalTriples.agda		originalTriples.agda
originalTriples.agdai		originalTriples.agdai
package.yaml		package.yaml
paperExample.agda		paperExample.agda
paperExample.agdai		paperExample.agdai
simple.agda		simple.agda
simple.agdai		simple.agdai
simple.exe		simple.exe
simple.java		simple.java
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
test.agda		test.agda
test.agdai		test.agdai
test.java		test.java
tree.agda		tree.agda
tree.agdai		tree.agdai
tree.java		tree.java
triples.agda		triples.agda
triples.agdai		triples.agdai
triples.java		triples.java
universe.agda		universe.agda
universe.agdai		universe.agdai
universe.java		universe.java