Untyped λ Expression: Is 4 zero?
Music Created By UdioMusic AI
Untyped λ Expression: Is 4 zero?
2024-08-04 11:12:42
Untyped λ Expression: Is 4 zero?
2024-08-04 11:12:42
Lyrics
[Intro]
(λ f . false) true
[Verse]
Macro expansion
1 :(λ s z . s ( s ( s ( s z ) ) )) (λ f . false) true
[Verse 2]
β reduction
2 :(λ z . (λ f . false) ( (λ f . false) ( (λ f . false) ( (λ f . false) z ) ) )) true
[Chorus]
β reduction
3 :(λ f . false) ( (λ f . false) ( (λ f . false) ( (λ f . false) true ) ) )
[Outro]
β reduction
4 :false
[Ending]
Expression is in normal form.
Style of Music
techno metal