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

int_index

int_index has asked 0 questions and find answers to 4 problems.

Stats

96
EtPoint
30
Vote count
0
questions
4
answers

About

I write Haskell for food. My areas of interest include dependently typed programming, type theory, language design.

int_index questions