blob: 1029a43578bf8927302144f36112ca05c638e485 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
# Animations
## Id substitution
<iframe width="560" height="315" src="https://www.trangram.com/embed/65f58fa7f4ece1d0d03209b9?repeat" title="Substitution in bruijn" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; web-share" allowfullscreen>
</iframe>
## Omega beta reduction
<iframe width="560" height="315" src="https://www.trangram.com/embed/65f593e2f4ece1d0d0320a8e?repeat" title="Omega reduction in bruijn" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; web-share" allowfullscreen>
</iframe>
|
