Value Of Type

@ValueOfType

GHC, THIS.

Joined September 2014

Media

  1. 13 Dec 2019

    Tell Me Something I Do Not Know

  2. 20 Oct 2018

    Categories For The Working Plumber

  3. 5 Apr 2017
    Replying to
  4. 16 Sep 2016
    Replying to
  5. 16 Sep 2016

    rezk deemphasizes the role of p-typical witt vectors here

  6. 20 Apr 2016
    Replying to
  7. 16 Apr 2016

    I don't really like "proof-relevant", it is but one step in the ladder of reification.

  8. 10 Apr 2016

    weird multicolored sun twitter, origin and true purpose.

  9. 27 Mar 2016

    me irl (thinking about category theory)

  10. 8 Mar 2016
  11. 4 Mar 2016
    Replying to
  12. 13 Mar 2015

    weird sun attitude towards anonymity

  13. 10 Jan 2015
  14. 8 Jan 2015

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·