4 ms·
Another very cool representation is Urban Boquist's GRIN (graph reduction intermediate notation). GRIN is used in Jhc (and thus in Ajhc and Lhc).
by thu 12y ago
Another very cool representation is Urban Boquist's GRIN (graph reduction intermediate notation). GRIN is used in Jhc (and thus in Ajhc and Lhc).