Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
user3237465
user3237465 has asked
16
questions and find answers to
109
problems.
Stats
2.3k
EtPoint
610
Vote count
16
questions
109
answers
About
user3237465 questions
What is this thing similar to KleisliFunctor?
Arity-generic programming in Agda
Why doesn't `iterate` from the Prelude tie the knot?
Pattern matching in Observational Type Theory
Generic programming via effects
Why do we need containers?
user3237465 answers
How to define an alias in Agda's type delaration?
Equality of records in Agda
Agda, type of proofs and with clause
Why haven't newer dependently typed languages adopted SSReflect's approach?
Stuck on proof with heterogeneous equality
Type Juggling with Existentials at Runtime
Statically balanced trees in Agda
How can I use &&& with a -> Maybe a
Haskell: Function to apply some function to nested 2-tuples
Summing an Integer Tree (Haskell)
Menu
