5 ms·
This got me thinking, how feasible would an implementation of APL be as a DSL embedded inside of Agda (or some other similar language)?
by nv-vn 11y ago
This got me thinking, how feasible would an implementation of APL be as a DSL embedded inside of Agda (or some other similar language)?