Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dex Tutorial #443

Merged
merged 17 commits into from
Jan 20, 2021
Merged

Dex Tutorial #443

Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
f814a6c
tutorial
srush Jan 9, 2021
a4299a8
Remove extra CSS bottom padding in HTML-rendered Dex. (#445)
dan-zheng Jan 9, 2021
87cf010
Add LaTeX rendering for HTML-rendered Dex via KaTeX. (#444)
dan-zheng Jan 9, 2021
3b8b9e7
Fix stack build warning for dex executable target. (#446)
dan-zheng Jan 9, 2021
6932d3e
Edit tutorial by @srush.
dan-zheng Jan 9, 2021
2c99e48
Consistently spell "n-D" as "nD".
dan-zheng Jan 9, 2021
e9368b1
Update tutorial to use the latest syntax for typeclasses
srush Jan 9, 2021
5576121
update with mnist
srush Jan 10, 2021
902a68b
update tutorial with more examples
srush Jan 10, 2021
1cbd5b1
Update tutorial to use string literals
srush Jan 11, 2021
937e84e
Merge branch 'main' into tutorial
srush Jan 10, 2021
be6a2ae
Merge branch 'tutorial' of https://github.com/srush/dex-lang into tut…
srush Jan 11, 2021
93a7aac
remove binary files and update Adam comments
srush Jan 14, 2021
255ccbe
Adam comment
srush Jan 14, 2021
1116889
Stylistic edits.
dan-zheng Jan 15, 2021
8a17996
Merge branch 'main' of https://github.com/google-research/dex-lang in…
srush Jan 19, 2021
d7e872f
delete trailing whitespace
srush Jan 19, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading