message: Add D to list of influences
diff: @@ -9,6 +9,7 @@ may not be included in the final Pikelet language, but they are worth mentioning
  - [1ML](#1ml)
  - [Agda](#agda)
  - [ATS](#ats)
  +- [D](#d)
  - [Dhall](#dhall)
  - [Discus (formerly DDC)](#discus-formerly-ddc)
  - [Elm](#elm)
  @@ -35,6 +36,7 @@ Key things we love:
  - focus on simplicity
  - combines module language of ML with dependent records
  - formalized foundation
  +
  ## Agda
  Links:
  @@ -65,6 +67,20 @@ Key things we love:
  - high level of performance, low level interoperability
  - unboxed data types
  +## D
  +
  +Links:
  +
  +- [Website](http://dlang.org)
  +
  +Key things we love:
  +
  +- strong support for static metaprogramming
  +- [design by introspection](https://dconf.org/2017/talks/alexandrescu.pdf)
  + (ie. breaking parametricity for performance optimization and metaprogramming purposes)
  +- low-level control and high-level abstraction
  +- fast compiler, short iteration times
  +
  ## Dhall
  Links:
  @@ -210,7 +226,7 @@ Links:
  Key things we love:
  - friendly community
  -- non-uniform data representation
  +- non-uniform, unboxed data layout
  - predictable optimizations
  - focus on systems programming
  - having safety and low level code under one roof
  @@ -228,7 +244,7 @@ Links:
  Key things we love:
  -- non-uniform data representation
  +- non-uniform, unboxed data layout
  - dependent types
  ## Ur
  