Josh Ko

@josh-hs-ko

🇹🇼 Taipei, Taiwan

Institute of Information Science, Academia Sinica

Profile age: almost 13 years

Updated 5 days ago

43 followers • 0 following

updated over 11 years ago • age over 11 years

TeX56.7%

Agda43.3%

updated over 8 years ago • age almost 13 years

Agda99.3%

Haskell0.7%

updated 7 months ago • age about 2 years

TeX55.2%

Haskell27.1%

Agda8.9%

BibTeX Style8.8%