Commits

Branch selector

 e72c0cb

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 3, 2021

• fix

  Jlh18

  committed
  e72c0cb

Commits on Dec 2, 2021

• deleted Installation, website has all instructions

  Jlh18

  committed
  289b5c4

• nix install Merge branch 'o1lo01ol1o-nix'

  Jlh18

  committed
  2d85b0f

• Add nix install instructions

  o1lo01ol1o

  committed
  97030e9

• Create shell.nix

  o1lo01ol1o

  committed
  62e2928

Commits on Nov 25, 2021

• Update README.rst

  Jlh18

  authored
  7c525d6

• Update README.rst

  Jlh18

  authored
  d1645f6

• fixed link to site

  Jlh18

  authored
  5727c48

Commits on Nov 16, 2021

• created 0Trinitarianism.Quest5

  Jlh18

  committed
  5a8f86f

• fixed import issues

  Jlh18

  committed
  a2157ed

• added quest 3 preamble import

  Jlh18

  committed
  7b1de5d

Commits on Nov 13, 2021

• added quest5 solutions

  Jlh18

  committed
  ff2594d

• finished rewind

  Jlh18

  committed
  9a2ddfe

• finished rewind

  Jlh18

  committed
  81dbe90

Commits on Nov 7, 2021

• extend solutions for fund / Q3 using trin / Q5

  Jlh18

  committed
  0ffbdaf

Commits on Nov 5, 2021

• edits to trinitarianism/quest 5

  Jlh18

  committed
  8afbf9d

Commits on Nov 1, 2021

• added arc0/quest5 and arc1/quest3

  Jlh18

  committed
  eb5587b

Commits on Oct 30, 2021

• added 1fundamentalgroup quest 3

  Jlh18

  committed
  334bb6e

• added quest 3

  Jlh18

  committed
  5ff2b68

• added quest 4 and preamble

  Jlh18

  committed
  4a2e69d

• df

  Jlh18

  committed
  6b97d4b

Commits on Oct 25, 2021

• added cheating (cubical) version of funExt

  Jlh18

  committed
  4d5a2de

Commits on Oct 24, 2021

• Path type on × type is a pain

  Jlh18

  committed
  eab9a55

Commits on Oct 23, 2021

• Path ≡ Id done

  Jlh18

  committed
  c1c23df

Commits on Oct 21, 2021

• endPtOfTrue

  Jlh18

  committed
  0b06930

Commits on Oct 19, 2021

• groupid laws

  Jlh18

  committed
  ef75329

Commits on Oct 14, 2021

• added quest 4

  Jlh18

  committed
  d36e0c8

Commits on Oct 12, 2021

• quest 2 ready

  Jlh18

  committed
  f131652

Commits on Oct 10, 2021

• removed J exercises from quest 2

  Jlh18

  committed
  923dfbd

• edits to quest 2 and shelf

  Jlh18

  committed
  a6163a1

Commits on Oct 7, 2021

• quest 2 complete

  Jlh18

  committed
  3245684

Commits on Oct 5, 2021

• edits to quest2

  Jlh18

  committed
  be2f38f

Commits on Oct 3, 2021

• groupoid laws in quest2

  Jlh18

  committed
  e343670

• added Z=NuN and Groupoid laws exercises in quest2

  Jlh18

  committed
  ee0f734

Commits on Oct 2, 2021

• changed transport to pathToFun

  Jlh18

  committed
  ccb193a

Pagination

PreviousNext