mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-10-26 14:05:36 +03:00
Update docs/writing-fusing-functions.md
This commit is contained in:
parent
276dcc6280
commit
be390b1240
@ -17,7 +17,7 @@ main = (if true 42 37)
|
||||
// so (true 42 37) will do the same thing.
|
||||
```
|
||||
|
||||
This is how a `Not` function that acts on this encoding can be defined.
|
||||
This is how a `Not` function that acts on this encoding can be defined:
|
||||
```rs
|
||||
not = λboolean (boolean false true)
|
||||
main = (not true) // Outputs λtλf f.
|
||||
|
Loading…
Reference in New Issue
Block a user