Seven times Eight in Lambda Calculus

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at https://github.com/polux/lambda-diagrams.

Paul Brauner17.3K views0:07

🔥 Related Trending Topics

LIVE TRENDS

This video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!

THIS VIDEO IS TRENDING!

This video is currently trending in Thailand under the topic 'สภาพอากาศ'.

About this video

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at https://github.com/polux/lambda-diagrams.

Video Information

Views
17.3K

Total views since publication

Likes
197

User likes and reactions

Duration
0:07

Video length

Published
Jan 10, 2018

Release date

Quality
hd

Video definition