Single Page Web Applications in Idris (github.com)

3 points by ska80 2y ago ↗ HN

1 comment

[ 4.5 ms ] story [ 15.0 ms ] thread

Alifatisk 2y ago ↗

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