Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Oleg
Oleg has asked
0
questions and find answers to
12
problems.
Stats
240
EtPoint
66
Vote count
0
questions
12
answers
About
Oleg questions
Oleg answers
Typeclass tricks for generalized multi-parameter function lifting
translating Scheme call/cc to Haskell callCC
Fixed-Point Combinators
encoding binary numerals in lambda calculus
Haskell type-safe space usage
Liberal coverage condition introduced in GHC 7.7 breaks code valid in GHC 7.6
Type-level nats with literals and an injective successor? (N-ary compose)
Fixed point combinator for mutually recursive functions?
What's the current status of restricted monads?