[ prog / sol / mona ]

prog


{lambda talk} a dialect of the λ-calculus

14 2021-03-30 11:17

In 13 I was answering to 5 and 6

I would be happy if somebody could give me his opinion about this work : http://lambdaway.free.fr/lambdaspeech/, beyond the relevance or not of the choice of braces. Thank you.

Alain Marty

19


VIP:

do not edit these