Phil

Age: 26

May
24
comment Proof by induction with multiple lists
@Gael you only need to induct on one list and refer to the other list opaquely.
May
24
answered Proof by induction with multiple lists
May
22
comment Proof by induction with multiple lists
Look at the definitions of ++ and map. There are 2 lists, but which one do they decompose? ;)
May
20
comment unresolved dependency: com.hanhuy.sbt#android-sdk-plugin;1.3.19: not found
It works! Thanks! Is it possible to have SBT definitions in scala 2.10 but compile the android project in 2.11.6 otherwise? Sorry I'm an SBT noob.
May
18
comment Does syntax really matter in a programming language?
@SaifalHarthi Wtf do you mean "or the equivalence in Lisp eq(X(Y)))? What Lisp dialect writes like that? Show me.
May
18
comment unresolved dependency: com.hanhuy.sbt#android-sdk-plugin;1.3.19: not found
I paste my error message here. Hope you can look at it if you have time to see if there's anything obviously suspicious. chat.stackoverflow.com/rooms/78092/resolve-scala-android-plugin
May
18
comment unresolved dependency: com.hanhuy.sbt#android-sdk-plugin;1.3.19: not found
I having the same error message trying to use 1.3.22, with no customization in sbt settings. Is there any value to resolvers I can try to make it work?
May
10
accepted How to use macros for concise, type-safe, unboxed enum?
May
10
answered How to use macros for concise, type-safe, unboxed enum?
May
6
comment How to use macros for concise, type-safe, unboxed enum?
It is definitely relevant. I'll look into the code. Many thanks!
May
6
revised How to use macros for concise, type-safe, unboxed enum?
edited title
May
6
revised How to use macros for concise, type-safe, unboxed enum?
added 9 characters in body
May
6
revised How to use macros for concise, type-safe, unboxed enum?
deleted 20 characters in body
May
6
revised How to use macros for concise, type-safe, unboxed enum?
added 267 characters in body
May
6
asked How to use macros for concise, type-safe, unboxed enum?
May
5
asked View for efficient and smooth auto scrolling of text
Apr
26
accepted Ur/Web new purely functional language for web programming?
Apr
25
asked Android runtime - does ART miss optimization opportunities over Dalvik?
Apr
25
comment 15.04 - Closing lid does not suspend laptop if connected to external monitor
I see. So it seems like a bug. But I use Intel graphics. Is the fix different? Many thanks.
Apr
25
revised 15.04 - Closing lid does not suspend laptop if connected to external monitor
added 20 characters in body
1 2 3 4 5