▲ Idris - A Language with Dependent Types targeting JavaScript at www.idris-lang.org▼6 up and 0 down, posted by gcanti 3596 days ago discuss