We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.

Talk:Flasmi

From Esolang
Jump to navigation Jump to search

Can someone provide an example which evaluates differently in Flasmi and ordinary SK calculus? I believe the "instruction pointer" here is redundant. --Blashyrkh (talk) 07:17, 17 February 2026 (UTC)

And if they happen to be different computational models then Turing-completeness must be proven. --Blashyrkh (talk) 09:52, 17 February 2026 (UTC)