Agdapaste web site

Allows users to upload Agda code, compiles the code with command line Agda compiler and displays the pretty HTML generated by Agda when done.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitignore		.gitignore
Main.hs		Main.hs
Paths.hs		Paths.hs
README.markdown		README.markdown
State.hs		State.hs
State_v2.hs		State_v2.hs
Web.hs		Web.hs
agdapaste.cabal		agdapaste.cabal

Provide feedback