András Kovács

András Kovács has asked 31 questions and find answers to 333 problems.

Stats

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 to choose the design for a well-founded inductive type?
Defining fmap for a binary search tree
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