Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Collect type information about Agda like goals in Haskell code.

branch: master

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 examples
Octocat-spinner-32 ghc-patch
Octocat-spinner-32 run-scripts
Octocat-spinner-32 src
Octocat-spinner-32 tests
Octocat-spinner-32 vim
Octocat-spinner-32 .gitignore
Octocat-spinner-32 LICENSE
Octocat-spinner-32 README
Octocat-spinner-32 Setup.lhs
Octocat-spinner-32 ghc-goals.cabal
README
Something went wrong with that request. Please try again.