3 ms·First time hearing about Idris idris-lang.org, looks interestingby Alifatisk 3y agoFirst time hearing about Idris idris-lang.org, looks interesting