zlacker

[parent] [thread] 1 comments
1. tromp+(OP)[view] [source] 2023-04-23 19:00:36
That just begs the question: in what language do you describe the language L? In terms of features, the language I use was, together with combinatory logic, the first language ever proposed for formalising computation back in the 1930s, so it's about as non-arbitrary as can be...
replies(1): >>pipo23+L
2. pipo23+L[view] [source] 2023-04-23 19:06:25
>>tromp+(OP)
Very good point!
[go to top]