Introducing
The Slant team built an AI & it’s awesome
Find the best product instantly
Add to Chrome
Add to Edge
Add to Firefox
Add to Opera
Add to Brave
Add to Safari
Try it now
4.7 star rating
0
0
Recs
0
Karma
DynamicHannahannah
@DynamicHannahannah3722
Update profile
Update image
I’ve been an awesome Slanter since August 19th, 2019!
0
Recs
0
Karma
Karma (3)
Recs (0)
Karma
Activity
Karma
What are the best dependently typed languages?
ReverentPiltzintecuhtli
recommended
Idris
.
3 years ago
+5
What are the best dependently typed languages?
ToughHonos
recommended
Idris
.
3 years ago
+5
What are the best dependently typed languages?
You added the
pro
Compiles to executables or to JavaScript/Node, and other targets.
to
Idris
.
5 years ago
+10
{}
undefined
url next
price drop