paradoja

{-# OPTIONS_GHC -XDeriveDataTypeable #-}
import XMonad
import Data.Monoid
import System.Exit
import XMonad.Config.Gnome

import qualified XMonad.StackSet as W
import qualified Data.Map        as M

import XMonad.Util.Run (safeSpawn)

paradoja

import Resolvers._

object add {
  def apply(org: String, sub: String) = {
    val newResolver = Resolver.Http("bintray", s"https://dl.bintray.com/$org/$sub/", MavenPattern, true)

    interp.resolvers() = interp.resolvers() :+ newResolver
  }
}

paradoja

import shapeless._, syntax.std.product._, spray.json.{JsNumber, JsString}

case class Person(name: String, age: Int)

val p = Person("Pepe", 54)

p.toMap[Symbol, Any] // res0: Map[Symbol,Any] = Map('age -> 54, 'name -> Pepe)

p.toMap[Symbol, Any].map { 
  case (s, i: Int) => s.toString -> JsNumber(i)

paradoja

To eat

• El Herreño (Canarian typical food): https://goo.gl/maps/1hueqs8oGEn
• El Roque https://goo.gl/maps/gudNFLHMk8A2
• Cubateria or Los Pescaditos (fish): https://goo.gl/maps/nj3WNTS2BoF2
• Las Brasas (meat and Canarian typical food): https://goo.gl/maps/PZPDQCo44P22
• El Balcon de Zamora (meat and Canarian typical food): https://goo.gl/maps/NJfHfETb2Lt
• Cofradia Pescadores Arguineguin (fish): https://goo.gl/maps/h1KPnbNna7u
• Restaurante Vega: https://goo.gl/maps/JJDtu76UVzw
• Mirador el Atlante: https://goo.gl/maps/2m5KYnEpXyA2