AndrasKovacs/
System F-omega normalization by hereditary substitution in Agda
by András Kovács Agda 3 forks Created Jul 2016 View on GitHub
- Stars
- 63
- 2% of AndrasKovacs's stars
- Rank
- #699,651
- of 851,992 repos, top 83%
Among 851,992 repos
63–100 stars: 217,630 repos, including system-f-omega
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #691,235
- Next milestone
- +3 stars to reach the top 80%
- Yearly average
- 6 stars a year since Jul 2016