András Kovács

András Kovács has asked 30 questions and find answers to 331 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

Pigeonhole proof without decidable equality or excluded middle [closed]
Haskell - polymorphism and values depending on types
Is there a way to emulate linear types in Haskell?
Build a graph structure in haskell
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?