Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 
avatar of yewang

yewang

yewang has asked 4 questions and find answers to 1 problems.

Stats

43
EtPoint
7
Vote count
4
questions
1
answers

About

dependent types for fun and profit.