Code

Dex Tutorial#443

Code

Merged

apaszke merged 17 commits intogoogle-research:maingoogle-research/dex-lang:mainfrom srush:tutorialsrush/dex-lang:tutorialCopy head branch name to clipboardJan 20, 2021

+621

Commits

Commits on Jan 10, 2021

• tutorial

  srush

  committed
  f814a6c

• Remove extra CSS bottom padding in HTML-rendered Dex. (google-research#445)

  Show description for a4299a8
  

  dan-zheng

  authored and

  srush

  committed
  a4299a8

• Add LaTeX rendering for HTML-rendered Dex via KaTeX. (google-research#444)

  Show description for 87cf010
  

  dan-zheng

  authored and

  srush

  committed
  87cf010

• Fix stack build warning for dex executable target. (google-research#446)

  Show description for 3b8b9e7
  

  dan-zheng

  authored and

  srush

  committed
  3b8b9e7

• Edit tutorial by @srush.

  Show description for 6932d3e
  

  dan-zheng

  authored and

  srush

  committed
  6932d3e

• Consistently spell "n-D" as "nD".

  

  dan-zheng

  authored and

  srush

  committed
  2c99e48

• Update tutorial to use the latest syntax for typeclasses

  srush

  committed
  e9368b1

• update with mnist

  srush

  committed
  5576121

• update tutorial with more examples

  srush

  committed
  902a68b

Commits on Jan 11, 2021

• Update tutorial to use string literals

  srush

  committed
  1cbd5b1

Commits on Jan 19, 2021

• Merge branch 'main' into tutorial

  srush

  committed
  937e84e

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

  srush

  committed
  be6a2ae

• remove binary files and update Adam comments

  srush

  committed
  93a7aac

• Adam comment

  srush

  committed
  255ccbe

• Stylistic edits.

  Show description for 1116889
  

  dan-zheng

  authored and

  srush

  committed
  1116889

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

  srush

  committed
  8a17996

• delete trailing whitespace

  srush

  committed
  d7e872f