dependent-types-talk: Commit: 384b2ed1bdaa4c528eb424b6afbd23ff1c9b8b95

Branch: master

Author: Chris Warburton <chriswarbo@gmail.com>
Date: Tue Aug 20 10:50:59 PM UTC 2013
Commit: 384b2ed1bdaa4c528eb424b6afbd23ff1c9b8b95
Log message:

    Initial commit
    Contains the original files presented at Lambda Lounge Manchester

Files:

• LICENSE (raw)
• pres.org (raw)
• pres.pdf (raw)
• README (raw)
• sort.idr (raw)