3 ms·Single Page Web Applications in Idris4 points by ska80 3y agoAlifatisk 3y agoFirst time hearing about Idris idris-lang.org, looks interesting