Code

Tutorial bugfixes and CI integration#472

Code

Merged

apaszke merged 13 commits intogoogle-research:maingoogle-research/dex-lang:mainfrom srush:tutorialfinalsrush/dex-lang:tutorialfinalCopy head branch name to clipboardFeb 1, 2021

+170-64

Commits

Commits on Jan 20, 2021

• Small change to update syntax and fix indices

  srush

  committed
  bd1acef

• Small changes to type classes

  srush

  committed
  fb5a33b

• add to CI

  srush

  committed
  1c95ce7

• download binary files

  srush

  committed
  b4bc3c8

Commits on Jan 21, 2021

• update github actions and tutorial download

  srush

  committed
  b8abc1c

• Remove extraneous whitespace.

  dan-zheng

  authored
  14554a2

• update the tests for new mnist files

  srush

  committed
  6971098

• Merge branch 'tutorialfinal' of https://github.com/srush/dex-lang into tutorialfinal

  srush

  committed
  71f3d4b

Commits on Jan 25, 2021

• Fix errors in tutorial

  srush

  committed
  fe862c4

Commits on Jan 26, 2021

• Merge branch 'main' into tutorialfinal

  srush

  authored
  7efdbd2

Commits on Feb 1, 2021

• update to fashion mnist

  srush

  committed
  5e9bab4

• Merge branch 'tutorialfinal' of https://github.com/srush/dex-lang into tutorialfinal

  srush

  committed
  7e87f4c

• Merge branch 'main' into tutorialfinal

  srush

  authored
  438038b