Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Katty J.
Katty J. has asked
6
questions and find answers to
0
problems.
Stats
30
EtPoint
0
Vote count
6
questions
0
answers
About
I'm interested in combinatorics and dependently typed programming.
Katty J. questions
On representations of permutations
Applying functions that depend on multiple fields using the lens
Enumeration of GADTs in Haskell
List based on right Kan extension
Katty J. answers
Menu
