0
I Use This!
Inactive
Analyzed 2 days ago. based on code collected 2 days ago.

Project Summary

Collect type information about Agda like goals in Haskell code.

Tags

No tags have been added

In a Nutshell, ghc-goals...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    check out hot projects on the Open Hub

Languages

Haskell
99%
2 Other
1%

30 Day Summary

Jan 14 2025 — Feb 13 2025

12 Month Summary

Feb 13 2024 — Feb 13 2025

Ratings

Be the first to rate this project
Click to add your rating
  
Review this Project!