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
116
problems.
Stats
2.4k
EtPoint
641
Vote count
16
questions
116
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 do you represent terms of the CoC in Agda?
Dependent type involving nat addition
Understanding unsolved metavariables and yellow highlighting in agda
Realising level polymorphic subsets within records
Defined a type family (++); any way to prove that (vs ++ us) ~ '[] implies (vs ~ '[]) and (us ~ '[])?
Haskell All possible partitions of a list [duplicate]
How to fix incomplete pattern matching in agda
How to define an alias in Agda's type delaration?
Equality of records in Agda
Agda, type of proofs and with clause
Menu
