ice1000

@ice1000

Aya 编程语言开发者之一,3A 悠悠球玩家,主攻线性类型论、依值类型论,香蕉空间类型论板块、逻辑学板块维护者

Haskell
Perl

Contributions

Mon
Thur
Sun
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Jul
Less
More

Contributions last year: 4

Max continuous contributions: 2

Recent contributions: 2

Commits, issues, and pull requests will appear on your contribution graph. Only when the email address used for the commits in local configuration is associated with your GitOSC account, the commits' contribution will be counted.

Feeds (You can only watch the activities of public projects)

Search