Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/jalpuim

Badges

Overview
Ranks
Repositories
Languages

João Alpuim

@jalpuim

🇬🇧 Brighton, UK

Profile age: about 13 years

Updated 7 days ago

5 followers • 1 following

Repositories

disjoint-intersection-types

8

0

updated over 9 years ago • age over 9 years

Coq92.1%

Haskell6.2%

Yacc0.9%

Logos0.7%

2

0

updated over 8 years ago • age about 13 years

Coq99.6%

Haskell0.4%

Contributions