please visit my blog for my writing, or see below for contact info and other details.
-- ./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" ]
}