Loading ideas.md +1 −1 Original line number Diff line number Diff line Loading @@ -58,7 +58,7 @@ In the real-world, working with external data in file systems and databases is o - Haskell - Idris - Agda - Cayenne (first dependent language) - [Cayenne](http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.155) (first dependent language) - Python: Indentation syntax - Go - Rust: Trait naming Loading Loading
ideas.md +1 −1 Original line number Diff line number Diff line Loading @@ -58,7 +58,7 @@ In the real-world, working with external data in file systems and databases is o - Haskell - Idris - Agda - Cayenne (first dependent language) - [Cayenne](http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.155) (first dependent language) - Python: Indentation syntax - Go - Rust: Trait naming Loading
