google-research dex-lang Ideas · Discussions · GitHub

Sort by: Latest activity

Categories

Community guidelines

Ideas Discussions

Share ideas for new features

You must be logged in to vote

Stats library

darrenjw started Aug 26, 2022 in Ideas

2
You must be logged in to vote

AD and other compiler transformations from within dex?

zenna started Jan 26, 2021 in Ideas

6
You must be logged in to vote

Implement the Language Server Protocol

dan-zheng started Dec 23, 2020 in Ideas

0
You must be logged in to vote

Is there anything to be gained with some kind of higher typeclass?

oxinabox started Jan 5, 2021 in Ideas

3
You must be logged in to vote

Ord for Bools

oxinabox started Dec 9, 2020 in Ideas

4