Content deleted Content added
Tags: Mobile edit Mobile web edit |
Adding F# because of type providers & qualified dos |
||
Line 14:
| implementations =
| dialects =
| influenced_by = [[Agda (programming language)|Agda]], [[Clean (programming language)|Clean]],<ref name="uniqueness-types">{{cite web|title=Uniqueness Types|url=http://docs.idris-lang.org/en/latest/reference/uniqueness-types.html|website=Idris 1.3.1 Documentation|accessdate=2019-09-26}}</ref> [[Coq]],<ref name="idris-web">{{cite web|title=Idris, a language with dependent types|url=http://www.idris-lang.org/|accessdate=2014-10-26}}</ref> [[Epigram (programming language)|Epigram]], [[F Sharp (programming language)|F#]], [[Haskell (programming language)|Haskell]],<ref name="idris-web"/> [[ML (programming language)|ML]],<ref name="idris-web"/> [[Rust (programming language)|Rust]]<ref name="uniqueness-types"/>
| influenced =
| operating_system = [[Cross-platform]]
| |||