Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in scott-encoding

Is there any non-recursive term that folds over a scott-encoded list?

haskell recursion lambda-calculus church-encoding scott-encoding

How to infer the type of the Scott encoded List constructor?

haskell functional-programming algebraic-data-types higher-rank-types scott-encoding

How do I use the Church encoding for Free Monads?

haskell free-monad church-encoding scott-encoding

More efficient tail of church encoded list

list haskell time-complexity church-encoding scott-encoding

Why do we use folds to encode datatypes as functions?

haskell functional-programming algebraic-data-types church-encoding scott-encoding