Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
madgen
madgen has asked
2
questions and find answers to
25
problems.
Stats
333
EtPoint
49
Vote count
2
questions
25
answers
About
PhD student at University of Cambridge. I write Datalogs for a living.
madgen questions
How to use a refutation to direct the type checker in Haskell?
Why is Type the kind of types with values?
madgen answers
Why is Type the kind of types with values?
How do I prove type-level list properties in haskell?
Expressing infinite kinds
Can type constructors be considered as types in functional programming languages?
How do I assert the type of an inner function depends on the type of the outer function in Haskell?
Menu
