|
You are here |
blog.aaronbieber.com | ||
| | | | |
mht.wtf
|
|
| | | | | ||
| | | | |
laihoconsulting.com
|
|
| | | | | Website and personal blog of Pekka Laiho, software engineer and financial enthusiast. | |
| | | | |
www.baturin.org
|
|
| | | | | [AI summary] The user has provided a comprehensive guide to OCaml programming, covering basic syntax, expressions, bindings, functions, and arithmetic operations. The guide includes examples of how to structure programs, use let-bindings, handle multiple expressions, and perform conversions between temperature units. It also touches on concepts like variable shadowing and the importance of type consistency in OCaml. The user has included exercises at the end, asking the reader to write programs for squaring integers and converting Celsius to Fahrenheit. | |
| | | | |
text.marvinborner.de
|
|
| | | This article describes a variadic extension to the default fixed-point combinator namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus). | ||