Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in equational-reasoning
Am I using sound equational reasoning about a definition of filter in terms of foldr?
Apr 14, 2022
haskell
filter
fold
equational-reasoning
Haskell - How to transform map sum (map (x:) xss) to map (x+) (map sum xss)
Mar 20, 2019
haskell
equational-reasoning
Is it possible to use church encodings without breaking equational reasoning?
Jul 29, 2022
list
haskell
church-encoding
equational-reasoning
If return a = return b then does a=b?
Aug 29, 2022
haskell
monads
semantics
equality
equational-reasoning