Permalink
Switch branches/tags
Nothing to show
Commits on Mar 14, 2017
  1. "next 700" paper

    cangiuli committed Mar 14, 2017
Commits on Mar 13, 2017
  1. working on type systems paper

    cangiuli committed Mar 13, 2017
Commits on Mar 10, 2017
  1. starting paper

    cangiuli committed Mar 10, 2017
Commits on Mar 4, 2017
  1. idea

    cangiuli committed Mar 4, 2017
Commits on Mar 13, 2016
  1. starting new paper

    cangiuli committed Mar 13, 2016
Commits on Dec 9, 2015
  1. new idea

    cangiuli committed Dec 9, 2015
Commits on Nov 1, 2015
  1. new idea

    cangiuli committed Nov 1, 2015
Commits on Oct 24, 2015
  1. new idea

    cangiuli committed Oct 24, 2015
Commits on Apr 1, 2015
  1. some tweaks

    cangiuli committed Apr 1, 2015
  2. first cut at my talk

    cangiuli committed Apr 1, 2015
  3. update makefile

    cangiuli committed Apr 1, 2015
  4. starting talk

    cangiuli committed Apr 1, 2015
Commits on Mar 25, 2015
  1. updating ideas

    cangiuli committed Mar 25, 2015
Commits on Mar 18, 2015
  1. finish artisanal type theory

    cangiuli committed Mar 18, 2015
Commits on Mar 17, 2015
  1. artisanal, section 1

    cangiuli committed Mar 17, 2015
Commits on Mar 16, 2015
Commits on Mar 11, 2015
  1. more ideas

    cangiuli committed Mar 11, 2015
Commits on Feb 17, 2015
  1. new idea from tea

    cangiuli committed Feb 17, 2015
Commits on Feb 14, 2015
  1. idea

    cangiuli committed Feb 14, 2015
Commits on Feb 10, 2015
  1. another idea

    cangiuli committed Feb 10, 2015
Commits on Jan 28, 2015
  1. new idea

    cangiuli committed Jan 28, 2015
Commits on Dec 10, 2014
  1. oc idea

    cangiuli committed Dec 10, 2014
Commits on Nov 11, 2014
  1. Merge branch 'master' of github.com:cangiuli/sigbovik

    cangiuli committed Nov 11, 2014
    Conflicts:
    	ideas
  2. new idea

    cangiuli committed Nov 11, 2014
Commits on Sep 9, 2014
  1. new idea

    cangiuli committed Sep 9, 2014
Commits on Aug 5, 2014
  1. new idea

    cangiuli committed Aug 5, 2014
Commits on Apr 1, 2014
  1. adding awards to slides

    cangiuli committed Apr 1, 2014
  2. shrink size of image

    cangiuli committed Apr 1, 2014
  3. finished f2p presentation

    cangiuli committed Apr 1, 2014