> useful and not used for programming a computer So you are mainly interested in GUI applications for laypeople to use, right? I think there is a simple reason for that not existing as much as you'd think or hope:…
I've written and deployed 3 applications written with Yesod so far. I also have some experience with Ruby on Rails. I'd say the two frameworks are rather on the same level of abstraction and similar in terms of…
Couldn't it be possible to unfold a proof by printing all the subsequent proof states one after the other? Wouldn't that be easier to follow?
> Hungarians are extremely antisemitic Some might be, doesn't mean all of them are. So [citation needed].
In game or IRL? In the latter construct some meaning in your life.
[citation needed]
Flee? Sure, if you are already wanted for arrest. Otherwise you can also move/emigrate. Which sounds a lot less dramatic than 'flee'.
Or perhaps more realistic in the short term: Google announcing to shut down Gmail beta(tm) over the next several months.
> useful and not used for programming a computer So you are mainly interested in GUI applications for laypeople to use, right? I think there is a simple reason for that not existing as much as you'd think or hope:…
I've written and deployed 3 applications written with Yesod so far. I also have some experience with Ruby on Rails. I'd say the two frameworks are rather on the same level of abstraction and similar in terms of…
Couldn't it be possible to unfold a proof by printing all the subsequent proof states one after the other? Wouldn't that be easier to follow?
> Hungarians are extremely antisemitic Some might be, doesn't mean all of them are. So [citation needed].
In game or IRL? In the latter construct some meaning in your life.
[citation needed]
Flee? Sure, if you are already wanted for arrest. Otherwise you can also move/emigrate. Which sounds a lot less dramatic than 'flee'.
Or perhaps more realistic in the short term: Google announcing to shut down Gmail beta(tm) over the next several months.