Talk:Mlatu-6

This seems to be a proper 2-combinator base of length 6:

? = ~,>+  (B)(A) -- ((AB))((AB))
! = -<    (B)(A) -- B

< = ()!
[for convenience, U is an abbreviation for (())?!<!]
> = ()?U
- = >U
~ = >(>)?U<<>?U<<
+ = ()?<~<
, = ~?U<

-PkmnQ (talk) 10:13, 28 April 2025 (UTC)

That is amazing! We will try to verify it ASAP and get it up on the page. Also, we did end up finding a valid way to construct ~ from the other 5 as you predicted, so we will try to document that as well. Zhil (talk) 17:37, 2 May 2025 (UTC)

Also, do you have a Discord account? we'd love to have you over here! --Pro465 (talk) 17:40, 2 May 2025 (UTC)

For a two-command base without parentheses, I think you could just port the Underload version, seeing as they're basically the same language? --ais523 13:05, 26 May 2025 (UTC)