tominated

tominated

๐Ÿ‘ค Developer

1 repository on SrcLog

View on GitHub
1 Repos
31 Stars
1 Forks
2 Watchers

๐Ÿ† Show off this rank

tominated on SrcLog (holo style)

Add it to a GitHub README or profile โ€” the card updates as the ranking changes:

Repositories (1)

system_f_omega tominated/system_f_omega OCaml

My Attempt at System Fฯ‰ with Row-Polymorphism

31