What do you think of this project {lambda way} as an alternative to LaTeX in a browser: http://lambdaway.free.fr http://lambdaway.free.fr For instance, from th

What do you think of this project {lambda way} as an alternative to LaTeX in a browser: http://lambdaway.free.fr http://lambdaway.free.fr For instance, from this wiki page http://lambdaway.free.fr/workshop/?view=oxford http://lambdaway.free.fr/workshop/?view=oxford I could directly generate a PDF paper, http://lambdaway.free.fr/workshop/data/lambdatalk_20170728.pdf http://lambdaway.free.fr/workshop/data/lambdatalk_20170728.p..., and slides, http://lambdaway.free.fr/workshop/?view=oxford_slides http://lambdaway.free.fr/workshop/?view=oxford_slides Some other pages in this workshop: http://lambdaway.free.fr/workshop/?view=factory http://lambdaway.free.fr/workshop/?view=factory http://lambdaway.free.fr/workshop/?view=NIL http://lambdaway.free.fr/workshop/?view=NIL http://lambdaway.free.fr/workshop/?view=teaching http://lambdaway.free.fr/workshop/?view=teaching http://lambdaway.free.fr/workshop/?view=lambdacode http://lambdaway.free.fr/workshop/?view=lambdacode Your comments are welcome. Alain Marty