Carlo Angiuli cangiuli

cangiuli commented on pull request HoTT/book#823
@cangiuli

This is incorrect. As discussed in A.2.2, the rules are set up in such a way that weakening is admissible; if you do not phrase the rules in an arb…

@cangiuli
cangiuli commented on pull request HoTT/book#803
@cangiuli

I don't remember, but almost certainly g's free variables were once named a and b, in which case it makes sense to call the pair (a',b'), so that t…

@cangiuli
  • @cangiuli 5a8f5b9
    start on proof that +1 is a bijection on upper sets
@cangiuli
  • @cangiuli 2557f39
    building the rest of the oc message
@cangiuli
@cangiuli
@cangiuli
  • @cangiuli f995459
    last-minute change from last year's list of awards
@cangiuli
@cangiuli
  • @cangiuli 29c9c43
    finished my half of the 2015 message from the organizing committee
@cangiuli
@cangiuli
@cangiuli
  • @cangiuli 3c2691a
    finish artisanal type theory
@cangiuli
@cangiuli
  • @cangiuli 857d0d7
    more work on artisanal type theory
@cangiuli
@cangiuli
  • @cangiuli 05950b8
    starting paper on artisanal type theory
@cangiuli
@cangiuli
  • @cangiuli be5a7a0
    add a remark pointing to the supplemental material
@cangiuli
@cangiuli
@cangiuli
@cangiuli
@cangiuli
@cangiuli
  • @cangiuli 6602a3f
    get rid of urls in references, for Space Reasons (TM)
@cangiuli
@cangiuli
  • @cangiuli a42f55f
    remove accidental page break
@cangiuli
@cangiuli
  • @cangiuli a214d7b
    get rid of the text walking through qss -- doesn't really fit anymore
@cangiuli