-- ./vivshaw.dhall

{- what i'm called -}
let handle = "vivshaw"

{- prelude -}
let prelude = "i'm a functional programming fan, and jack-of-all-trades.
               my background is in webdev, but i'm happy to explore anything."

{- my personal data -}
let Personal = { name : Text, city : Text, email : Text, web : Text, twitter : Text, pgp : Text }
let personal = Personal { name = "Hannah Vivian Shaw"
                        , city = "Burlington, Vermont"
                        , email = "hvivianshaw 'at' gmail.com"
                        , website = "vivshaw.github.io"
                        , twitter = "@vvvivshaw"
                        , pgp = "61E55CA77554B474C30F04248F434E3AF84C4482"
                        }

{- bio and interests -}
let Bio = { role : Text, interests : List Text, languages : List Text, leisure : List Text }
let bio = Bio { role      =   "frontend"
              , interests =   [ "web dev", "functional programming", "type systems", "React", "Rails" ]
              , languages =   [ "TypeScript", "Ruby", "Haskell", "Scala", "Java" ]
              , leisure   =   [ "DJing house and techno", "road cycling", "photography", "synthesis" ]
              }