google-research / dex-lang

Watch 36
Star 663
Fork 32

Code
Issues 22
Pull requests 6
Actions
Projects
Security
Insights

Code
Issues
Pull requests
Actions
Projects
Security
Insights

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.

Pick a username

Email Address

Password

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

22 Open 52 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels.

Projects

Filter by project

Milestones

Filter by milestone

Assignee

Filter by who’s assigned

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated

Most reactions

Shadowing is possible through data types

#252 opened Oct 2, 2020 by bchetioui

More powerful casting to and from dependent index types and flat index types

#246 opened Sep 28, 2020 by duvenaud

Can't use indexRef on diagonal types

#239 opened Sep 20, 2020 by duvenaud

Parser doesn't allow the binders in types to be wrapped in parens. bug good first issue

#236 opened Sep 18, 2020 by duvenaud

Crash from runtime error inside a withState

#231 opened Sep 12, 2020 by duvenaud

Crash when building a list

#228 opened Sep 10, 2020 by duvenaud

Missing `splitDest` case for `Unpack` breaks top-level tables indexed by records

#207 opened Aug 21, 2020 by danieldjohnson

Can't define instances when running web interface

#202 opened Aug 16, 2020 by danieldjohnson

Add more number types

#192 opened Aug 10, 2020 by oxinabox 0 of 4

A typeclass for index sets bug

#186 opened Jul 31, 2020 by dougalm

Add a pure-Dex implementation of threefry for the GPU backend enhancement good first issue

#183 opened Jul 31, 2020 by dougalm

Allow some control over numerical precision enhancement

#182 opened Jul 31, 2020 by dougalm

Compiler bug triggered by a table with a function in it bug

#177 opened Jul 28, 2020 by duvenaud

Portable regex-based syntax highlighting enhancement good first issue

#176 opened Jul 27, 2020 by dougalm

Check for escaped let-bound variables bug

#175 opened Jul 27, 2020 by dougalm

Report stack traces for runtime errors enhancement good first issue

#174 opened Jul 27, 2020 by dougalm

Color plotmat and animations enhancement good first issue

#173 opened Jul 27, 2020 by dougalm

Pattern matching for table literals enhancement good first issue

#172 opened Jul 27, 2020 by dougalm

Can't iterate over all possible values of a table enhancement

#146 opened Jul 8, 2020 by duvenaud

[Feature Request] Dex support in Jupyter notebooks. enhancement

#99 opened Jun 16, 2020 by dynamicwebpaige

What is the plan for structured sparse matrixes?

#53 opened Feb 11, 2020 by oxinabox

treat --o as a special case of -> ?

#36 opened Dec 12, 2019 by oxinabox

ProTip! Mix and match filters to narrow down what you’re looking for.