git.xn--bdkaa.com Git - jolie.agda.git/tree

]> git.xn--bdkaa.com Git - jolie.agda.git/tree

projects / jolie.agda.git / tree

summary | shortlog | log | commit | commitdiff | tree
snapshot

-rw-r--r--	18	.gitignore	blob \| history \| raw
-rw-r--r--	1072	LICENSE	blob \| history \| raw
-rw-r--r--	58	README.md	blob \| history \| raw
drwxr-xr-x	-	src	tree \| history

An attempt to formalize Jolie's type system in Agda