![∀[ □ A ⇒ A ] → ∀[ A ]](https://pbs.twimg.com/profile_images/1473021630/igor_d_400x400.jpg){kind=avatar}
![∀[ □ A ⇒ A ] → ∀[ A ]](https://pbs.twimg.com/profile_images/1473021630/igor_d.jpg)
Main focus will be making interactive development & refactoring as nice and helpful as possible.
Prikaži ovu nit
Got the paperwork yesterday, so: happy to announce that I'll be spending the next 3 years working full time on Idris with @edwinbrady!
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Damn that's so great to hear, congratulations! I can't wait to see all the new things in Idris that we'll have to steal for Agda ;)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Thank you and please consider
@intellijidea for that integration. A big part of the industry developers depends more on it than the actual languages they use. -
FYI there's an official Proof Assistant namely Arend who have IntelliJ IDEA support. By official I mean it's by JetBrains
- Još 2 druga odgovora
Novi razgovor -
-
-
Congrats, eager to meet you!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Congrats!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Wonderful news!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Congratulations!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Awesome!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Congrats and happy coding : )
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.