google-research/dex-lang

Issues

• Dex (inDEX) lang

  #1349 opened 14 days ago by Micduffy001
  0

• Build problem on mac with index.js

  #1346 opened 7 months ago by duvenaud
  1

• Can't negate a `Float64`

  #1345 opened a year ago by ararslan
  1

• Error installing Dex using Nix on Docker

  #1248 opened 2 years ago by SalamanderXing
  1

• Can't put functions in structs or data constructors

  #1338 opened a year ago by duvenaud
  0

• Can't retrieve a toplevel table from a local struct field and index it?

  #1333 opened a year ago by axch
  0

• Why doesn't `rlwrap` work with `dex repl`?

  #1331 opened a year ago by codereport
  1

• adding support for sparse matrices/arrays?

  #1310 opened a year ago by cartazio
  0

• Tooltips

  #1304 opened a year ago by dan-zheng
  0

• Error installing dex on Ubuntu 22.04

  #1300 opened a year ago by general-rishkin
  1

• Auto-cancellation of `ordinal . unsafe_from_ordinal`

  #1283 opened 2 years ago by axch
  1

• Can't count function arguments

  #1265 opened 2 years ago by axch
  1

• Fix test regressions after LLVM 15 upgrade

  #1278 opened 2 years ago by dan-zheng
  0

• Unallocated memory read with nested dependent pairs

  #1212 opened 2 years ago by axch
  1

• OOP envy and type-based name spaces

  #1242 opened 2 years ago by dougalm
  6

• compiler bug: shouldn't have dict holes past inference

  #1268 opened 2 years ago by darrenjw
  2

• Function composition operator mixup

  #1267 opened 2 years ago by axch
  1

• Building on M1 Mac

  #1247 opened 2 years ago by jordanrule
  2

• Super-confusing error message involving implicit types

  #1171 opened 2 years ago by axch
  2

• Let's stop currying and use explicit n-ary functions instead

  #1240 opened 2 years ago by dougalm
  7

• The great punctuation shift

  #1243 opened 2 years ago by dougalm
  5

• Add syntax for "the previous value"

  #1144 opened 2 years ago by axch
  6

• `@noinline` interacts badly with auto-quantification

  #1229 opened 2 years ago by axch
  1

• Can't scan with a body that has an effect

  #1133 opened 2 years ago by axch
  2

• Compiler bug when providing extraneous arguments to an instance

  #1140 opened 2 years ago by duvenaud
  0

• Can't throw an exception in a context of non-data type

  #1220 opened 2 years ago by axch
  4

• Should functions have an `Add` instance?

  #1230 opened 2 years ago by axch
  2

• `with_` better names

  #1149 opened 2 years ago by axch
  0

• Add a `Data` constraint

  #1150 opened 2 years ago by dougalm
  4

• Redefine an ill-defined variable in the repl

  #1167 opened 2 years ago by xnning
  1

• Compiler bug when usings parser combinators

  #1193 opened 2 years ago by duvenaud
  2

• Can't handle toplevel case with a functional value?

  #1217 opened 2 years ago by axch
  1

• Compiler bug

  #1216 opened 2 years ago by pharringtonp19
  2

• Precisely typed IR variants

  #1151 opened 2 years ago by dougalm
  4

• Compiler bug: Algebraic simplification failed to model index computations

  #1178 opened 2 years ago by emilyfertig
  1

• "Compiler bug, Unsupported newtype: Nat" when taking grad through `intpow`

  #1195 opened 2 years ago by emilyfertig
  1

• Do unsigned remainder on unsigned types

  #1211 opened 2 years ago by axch
  1

• Compiler bug in `rand_int`

  #1196 opened 2 years ago by emilyfertig
  1

• Can't compose other effects with `with_stack`

  #1205 opened 2 years ago by duvenaud
  2

• Homebrew Include Directory Incorrectly Specified for M2 in Makefile

  #1184 opened 2 years ago by christopherpriebe
  2

• Spurious 'Leaked local variables' error.

  #1176 opened 2 years ago by duvenaud
  5

• Can't unpack dependent pairs.

  #1131 opened 2 years ago by duvenaud
  0

• Simplex demo doesn't work anymore, and isn't tested

  #1157 opened 2 years ago by duvenaud
  0

• Memory error involving upper- and lower-triangular arrays.

  #1152 opened 2 years ago by axch
  1

• Add a primitive guaranteed to inhibit constant folding

  #1154 opened 2 years ago by axch
  0

• Actually add `var` syntax for even more convenient access to the state effect

  #1148 opened 2 years ago by axch
  1

• Enforce the constraints implied by the new type-parameter role system

  #1139 opened 2 years ago by apaszke
  4

• Add `var` syntax for convenient access to the state effect

  #1137 opened 2 years ago by axch
  5

• Plan for associated types (with @axch)

  #1141 opened 2 years ago by dougalm
  0

• Can't interleave class constraints in custom datatype declarations

  #1123 opened 2 years ago by duvenaud
  0