Single Page Web Applications in Idris (github.com)

3 points by ska80 3y ago ↗ HN

1 comment

[ 2.8 ms ] story [ 13.4 ms ] thread

Alifatisk 3y ago ↗

First time hearing about Idris idris-lang.org, looks interesting