Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 10, 2018

• Add phantom contracts SRC abstract

  dbp

  committedDec 10, 2018
  abbc7f9

Commits on Oct 16, 2018

• add Amal strangeloop keynote

  dbp

  committedOct 16, 2018
  d90bd14

Commits on Sep 1, 2018

• Switch to a single job

  dbp

  committedSep 1, 2018
  204789f

• Don't try to deploy before building lol

  dbp

  committedSep 1, 2018
  b2492c9

• Get rid of more stupid curly quotes

  dbp

  committedSep 1, 2018
  81f2eeb

Commits on Aug 28, 2018

• yaml blah

  dbp

  committedAug 28, 2018
  3d0c706

• tweak circle; go back to #! stack command

  dbp

  committedAug 28, 2018
  8965480

• yaml/yml blerg

  dbp

  committedAug 28, 2018
  3ce72e0

• try converting to circle 2.0

  dbp

  committedAug 28, 2018
  c42976d

• Bit on duck.

  dbp

  committedAug 28, 2018
  edee4e8

Commits on Aug 13, 2018

• Add rust distilled

  dbp

  committedAug 13, 2018
  d600e44

Commits on May 9, 2018

• Fix strong being display block on mobile.

  dbp

  committedMay 9, 2018
  036ac8e

• Fix various typos / minor writing mistakes.

  dbp

  committedMay 9, 2018
  7e6b3a9

Commits on Apr 25, 2018

• Fix typo in blog post

  dbp

  committedApr 25, 2018
  db57db0

Commits on Apr 24, 2018

• Minor updates on fabs post

  dbp

  committedApr 24, 2018
  dac931f

Commits on Apr 19, 2018

• Publish full abstraction post

  dbp

  committedApr 19, 2018
  18391e4

• Update post

  dbp

  committedApr 19, 2018
  5ffc9a7

• Fix typo in fabs post

  dbp

  committedApr 19, 2018
  eebaa40

Commits on Apr 18, 2018

• Tweak writing a little & add headings for fabs post

  dbp

  committedApr 18, 2018
  3abd9e7

• More work on fully abstract compilation draft

  dbp

  committedApr 18, 2018
  65b871d

Commits on Apr 16, 2018

• WIP post on fully abstract compilation

  dbp

  committedApr 16, 2018
  99290ba

Commits on Mar 21, 2018

• Add draft about haskell web app module organization

  dbp

  committedMar 21, 2018
  c42574a

Commits on Jan 20, 2018

• Shrink max width; earlier expansion seemed an error

  dbp

  committedJan 20, 2018
  ca73940

• Add support for drafts

  dbp

  committedJan 20, 2018
  cb47083

• Change some styling, update stackage LTS version

  dbp

  committedJan 20, 2018
  ab3d827

• Change some styling

  dbp

  committedJan 20, 2018
  0424852

Commits on Jan 19, 2018

• Add link to SweetPea OBT presentation

  dbp

  committedJan 19, 2018
  605d0c4

• Note about reversing order

  dbp

  committedJan 19, 2018
  1860aba

• More space in beginning

  dbp

  committedJan 19, 2018
  13e141c

• Add to index

  dbp

  committedJan 19, 2018
  ebd39cd

• Add thanks to gabriel & william; fix links

  dbp

  committedJan 19, 2018
  247a36b

Commits on Jan 18, 2018

• Words

  dbp

  committedJan 18, 2018
  48ebc5d

• More to addendum

  dbp

  committedJan 18, 2018
  0fc9950

• Tweaks

  dbp

  committedJan 18, 2018
  9472646

• Move note on termination to addendum, add note about whether proofs mean anything

  dbp

  committedJan 18, 2018
  3137989

Pagination

PreviousNext