Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
András Kovács
András Kovács has asked
32
questions and find answers to
345
problems.
Stats
8.5k
EtPoint
2.6k
Vote count
32
questions
345
answers
About
PhD candidate in type theory at ELTE Budapest
András Kovács questions
Nibble shuffling with x64 SIMD
Stuck on proof with heterogeneous equality
"Status stack overflow" in C with simple iteration
Getting the nth solution of a query
Kinds of types in functions
Unable to port C++ code that inserts into a trie to Rust due to multiple mutable borrows
Termination check on list merge
A curious case with references and static class members
Modeling the ST monad in Agda
Constrained interface implementation
András Kovács answers
How can I write a more general (but efficient) version of attoparsec's takeWhile1?
Point free monadic expression
Haskell - defining commutative functions: How to consider actual arguments by combination, not permutation
How to unify c and GHC.Exts.Item t c?
Memory footprint and performance of IORef
Turtle: Prompting for input, without a trailing newline
Is there a notion of "heterogenous collection of a given shape"?
Checking if an element exists in a tree
Rewriting with John Major's equality
Using type-inequality within type-level programming in Haskell
Menu
