Want to build a more visual connection with the λ-calculus? Check out the λ-term visualiser and λ-term gallery by George Kaye (@thegeorgejkaye)! https://www.georgejkaye.com/fyp/
-
Prikaži ovu nit
-
The visualiser lets you inspect λ-terms as certain kinds of graphs, while also keeping track of various interesting statistics. https://www.georgejkaye.com/fyp/visualiser.html …pic.twitter.com/xEhRTctR8M
1 reply 2 proslijeđena tweeta 10 korisnika označava da im se sviđaPrikaži ovu nit -
You can also use it to generate normalisation graphs (really these are graphs of graphs!). For example, this particularly beautiful normalisation graph is generated by a linear term representing the formula "T ∧ F" (based on an encoding of boolean circuits due to Harry Mairson).pic.twitter.com/hmn0e4gjG8
1 reply 2 proslijeđena tweeta 8 korisnika označava da im se sviđaPrikaži ovu nit
Finally, I definitely recommend spending a lazy afternoon strolling around the gallery! Here we've used it to display all linear λ-terms of size 8 with no beta-redices and with 2 crossings in their diagram. https://www.georgejkaye.com/fyp/gallery.html …pic.twitter.com/skP1AM3Fd2
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.