Re: Funky Mathlangs (Was: We Z'te)
|Date:||Tuesday, February 21, 2006, 20:35|
b No, defining non-equality.
f Yes, but I made a mistake in my input.
g No. Xor. a works as an equality test also.
My entire point with this was to start from the beginning. I'm
currently working on adding and subtracting, for which I needed to
define a recursion operator and a binary value (basically just a set
On 2/21/06, Nokta Kanto <red5_2@...> wrote:
> On Tue, 21 Feb 2006 10:03:14 -0800, veritosproject@GMAIL.COM wrote:
> >I've come up with a small funky mathlang of my own, à la We Z'te.
> >Let's see how you guys/gals do.
> That was kinda fun. It's a prefix language.
> a Equality assertion
> b Ordering assertion
> c True
> d False
> e Or
> f And
> g Equality test
> For some odd reason I'm wondering how to translate 'chocolate' into a mathlang...