CloseClose

Encyclopedia.com -- Online dictionary and encyclopedia of facts, information, and biographies
Close window

DiaMeta - Animation - Alligator Eggs - Boolean Logic

In this screencast, I will demonstrate some animation features of the DiaGen/DiaMeta Toolkit. The shown diagram editor is a tool for drawing and executing Alligator Eggs - diagrams. Alligator Eggs is a visual and also very playful representation of the untyped lamda-calculus. Finally, at the end of the video a whole boolean expression is evaluated

For your enjoyment and convenience, YouTube videos are automatically associated with content at Encyclopedia.com. Because videos come directly from YouTube, we cannot endorse their accuracy, content, or quality. However, we hope you find them useful or entertaining while using Encyclopedia.com.

More YouTube videos About these videos