Record · corpus.blog/posts/01a087eb-a3d6-73c8-b94d-3e3907be730d

Crafting Formulas: Lambdas All the Way Down

text.marvinborner.de · published 6 August 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at text.marvinborner.de Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 19
Words captured: 9,429

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://old.reddit.com/user/DaVinci103

old.reddit.com

https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07

medium.com

https://www.reddit.com/r/mathmemes/comments/1cfwetu/number_systems_be_like/

reddit.com

https://old.reddit.com/r/googology/comments/18ss1yq/encoding_complex_numbers_in_lambda_calculus/

old.reddit.com

https://bruijn.marvinborner.de/wiki/introduction/syntax/

bruijn.marvinborner.de

https://bruijn.marvinborner.de/wiki/coding/data-structures/

bruijn.marvinborner.de

https://doi.org/10.1007/3-540-45575-2_20

doi.org

https://bruijn.marvinborner.de/std/Number_Ternary.bruijn.html

bruijn.marvinborner.de

https://rosettacode.org/wiki/Balanced_ternary

rosettacode.org

https://hackage.haskell.org/package/base-4.19.1.0/docs/src/GHC.Real.html

hackage.haskell.org

https://github.com/marvinborner/bruijn/blob/main/src/Reducer/HigherOrder.hs

github.com

https://bruijn.marvinborner.de/std/Math.bruijn.html

bruijn.marvinborner.de

Variadic fixed-point combinators Read at the source ↗

text.marvinborner.de

https://rosettacode.org/wiki/Variadic_fixed-point_combinator

rosettacode.org

https://github.com/marvinborner/bloc

github.com

https://github.com/marvinborner/bruijn

github.com

https://types.pl/@marvin

types.pl

https://news.ycombinator.com/item?id=41169244

news.ycombinator.com

https://bruijn.marvinborner.de/std/

bruijn.marvinborner.de