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