Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
amakarov
amakarov has asked
5
questions and find answers to
1
problems.
Stats
44
EtPoint
5
Vote count
5
questions
1
answers
About
Interested in functional programming, type theory, low-level programming and swimming.
amakarov questions
Phantom type makes pattern matching irrefutable, but that seemingly does not work inside do notation
Strange type inferencе with RankNTypes extension
amakarov answers
Is it possible to implement a function that returns an n-tuple on the lambda calculus?
Menu
