Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 28, 2018

• Update lam.hts

  5HT

  authored
  687606e

  Copy full SHA for 687606e

Commits on Dec 20, 2018

• add \Type Arend's syntax

  5HT

  committed
  41e61ca

  Copy full SHA for 41e61ca

• mcedit syntax for sand256 theme

  5HT

  committed
  0fd76d8

  Copy full SHA for 0fd76d8

Commits on Dec 19, 2018

• fix travis

  5HT

  committed
  34a8129

  Copy full SHA for 34a8129

• cleanup

  5HT

  committed
  6872da0

  Copy full SHA for 6872da0

• cleanup

  5HT

  committed
  8a26c0c

  Copy full SHA for 8a26c0c

• travis

  5HT

  committed
  7e2124f

  Copy full SHA for 7e2124f

• fix travis

  5HT

  committed
  1777923

  Copy full SHA for 1777923

• fix travis

  5HT

  committed
  57fa866

  Copy full SHA for 57fa866

• travis

  5HT

  committed
  f8deb01

  Copy full SHA for f8deb01

• travis

  5HT

  committed
  da79b00

  Copy full SHA for da79b00

• travis

  5HT

  committed
  9dc67c6

  Copy full SHA for 9dc67c6

• travis

  5HT

  committed
  ea40057

  Copy full SHA for ea40057

• Merge branch 'master' of github.com:groupoid/infinity

  5HT

  committed
  eb7892d

  Copy full SHA for eb7892d

• disable travis

  5HT

  committed
  dd03709

  Copy full SHA for dd03709

• Update Connection.ard

  5HT

  authored
  e638df1

  Copy full SHA for e638df1

• formatting

  5HT

  committed
  2e0ed04

  Copy full SHA for 2e0ed04

• catgrpd

  5HT

  committed
  508b80f

  Copy full SHA for 508b80f

• meet/join

  5HT

  committed
  2874ea5

  Copy full SHA for 2874ea5

• clean connections

  5HT

  committed
  a1d9624

  Copy full SHA for a1d9624

• connOr

  5HT

  committed
  6c1459f

  Copy full SHA for 6c1459f

• J fix

  5HT

  committed
  f9447ad

  Copy full SHA for f9447ad

• category theory

  5HT

  committed
  06ee5e5

  Copy full SHA for 06ee5e5

• precategory

  5HT

  committed
  0e5c712

  Copy full SHA for 0e5c712

• wip

  5HT

  committed
  09180d5

  Copy full SHA for 09180d5

• wip

  5HT

  committed
  0ae976a

  Copy full SHA for 0ae976a

• MLTT

  5HT

  committed
  acad8b4

  Copy full SHA for acad8b4

• more detailed J

  5HT

  committed
  bbd99db

  Copy full SHA for bbd99db

• Arend. contractability using /\.

  5HT

  committed
  fa8d813

  Copy full SHA for fa8d813

• connections

  5HT

  committed
  5de7f39

  Copy full SHA for 5de7f39

• J/sq

  5HT

  committed
  2499b65

  Copy full SHA for 2499b65

Commits on Dec 18, 2018

• wip

  5HT

  committed
  1acc940

  Copy full SHA for 1acc940

• arend

  5HT

  committed
  8169dd1

  Copy full SHA for 8169dd1

• added arend folder

  5HT

  committed
  40913ce

  Copy full SHA for 40913ce

Commits on Oct 14, 2018

• Pi automorphism is Martin-Lof Pi-type

  5HT

  committed
  e8a4641

  Copy full SHA for e8a4641

Pagination

Previous

Next