Although it is clear than I am terrible at making websites. Any volunteers to make it properly would be very welcome :).
-
-
-
I'm curious what you think is wrong with it, or is it about publishing workflow (having to update source, manuals, blog/website separately)?
- 3 more replies
New conversation -
-
-
found the thread, I would appreciate some words on Idris' DTs vs Scala's path-DTs. :)
-
I've never really grokked path dependent types, not having tried them. I'd be interested to read such a comparison too.
End of conversation
New conversation -
-
-
The reasons why Idris is good in your mind don't matter to those who don't understand the reasons yet. They see just another type of food.
-
indeed, most likely these criticisms come from people not in the target audience (yet)
End of conversation
New conversation -
-
-
Me: an agile+OOish guy by background (though Clojure for 6 years), Idris webpage could have different entry points for three audiences. /1
-
1: How is this different from Haskell? 2: How does adding types change programming vs. Clojure/Elixir? /2
- 4 more replies
New conversation -
-
-
"Hello world"?! Idris comes from Haskell, you gotta start with a factorial
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This makes me afraid to look at the reaction on a certain website
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.