András Kovács

András Kovács has asked 29 questions and find answers to 327 problems.

Stats

About

PhD candidate in type theory at ELTE Budapest

András Kovács questions

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
Doing rank-n quantification in Idris

András Kovács answers

Haskell performance : Inversion count algorithm
Stuck on proof with heterogeneous equality
Is there a convenient way to construct larger type level Peano numbers using mono-traversable?
Difference between call-by-value and call-by-name interpreter for the lambda calculus
Type constraints become huge and unreadable for simple code
Are constraints possible for new types in Purescript?
For dense access, is it better or worse to freeze an array first?
How to find path to a node in a Haskell Data.Tree
How to use Proxy properly?
Formalising regular expressions with a complement operation