Petur Andrias Højgaard Jacobsen (@petur-a)
github

petur-a

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,188,208 (Top 42 %)
  • Followers 3
  • Following 9
  • Registered over 11 years ago
  • Most used languages
    TeX
         100.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 3,779
  • Country Ranking
    TeX
         37

Top repositories

1

masters

Developing a type system for a minimal reversible functional language.
TeX
7
star