Bend/examples/fusing_not.bend

true = λt λf t
false = λt λf f
not = λboolean (boolean false true)
fusing_not = λboolean λt λf (boolean f t)
// Creates a Church numeral out of a native number
to_church n = switch n {
	0: λf λx x
	_: λf λx (f (to_church n-1 f x))
}
main = 
	// Self-composes `not` 2^24 times and prints the result.
	((to_church 0xFFFFFF) fusing_not)  // try replacing this by not. Will it still work?
Add "fusing functions" tutorial. 2024-01-11 21:32:41 +03:00			`true = λt λf t`
			`false = λt λf f`
			`not = λboolean (boolean false true)`
			`fusing_not = λboolean λt λf (boolean f t)`
			`// Creates a Church numeral out of a native number`
[sc-513] Update docs for match with 2024-04-03 21:47:47 +03:00			`to_church n = switch n {`
			`0: λf λx x`
			`_: λf λx (f (to_church n-1 f x))`
			`}`
Add "fusing functions" tutorial. 2024-01-11 21:32:41 +03:00			`main =`
Update docs and examples for hvm32 2024-04-26 23:35:42 +03:00			// Self-composes `not` 2^24 times and prints the result.
Update examples 2024-05-10 22:59:13 +03:00			`((to_church 0xFFFFFF) fusing_not) // try replacing this by not. Will it still work?`