gautv

↗ HN profile [ 15.4 ms ] full profile

Karma: 2
Created: November 20, 2020 (5y ago)
Submissions: 0

How does the language compare to a language like Idris ?

5y ago · view thread · ↗