wonks/wonks.github.io

Issues

• main web page out-of-date

  #26 opened a year ago by jsiek
  3

• Type theory reading group

  #17 opened 7 years ago by vikraman
  3

• oCurrent schedule?

  #8 opened 9 years ago by jasonhemann
  0

• Add these people to the page

  #2 opened 10 years ago by rrnewton
  3

• Add everyone's github account to the group

  #3 opened 10 years ago by rrnewton
  1