21 ms·
> It should ultimately be possible to compile Dawn to concurrent nets and therefore to evaluate concurrent sections concurrently Correction: to interaction net
by smaddox 5y ago
> It should ultimately be possible to compile Dawn to concurrent nets and therefore to evaluate concurrent sections concurrently
Correction: to interaction nets: https://en.wikipedia.org/wiki/Interaction_nets https://en.wikipedia.org/wiki/Interaction_nets