Commits

Branch selector

 main

User selector

dougalm

Datepicker

All time

Commit History

Commits on Aug 19, 2020

• Merge branch 'main' into records-variants

  dougalm

  committed
  01dac77

  Copy full SHA for 01dac77

Commits on Aug 10, 2020

• Add link to raytracer example.

  dougalm

  committed
  b1f88f9

  Copy full SHA for b1f88f9

• Raytracer improvements suggested by @duvenaud and @hexahedria.

  Show description for 923e5a6
  dougalm

  committed
  923e5a6

  Copy full SHA for 923e5a6

• Generalize raytracer example.

  Show description for 6cab8ce
  dougalm

  committed
  6cab8ce

  Copy full SHA for 6cab8ce

• Add a command for displaying color images. Partially addresses google-research#173.

  dougalm

  committed
  0240283

  Copy full SHA for 0240283

Commits on Jul 31, 2020

• Update CTC loss example to use variants for index sets and add it to tests.

  dougalm

  committed
  42c149f

  Copy full SHA for 42c149f

• Add source context to dictionary synthesis errors.

  dougalm

  committed
  c5dfdd9

  Copy full SHA for c5dfdd9

• Replace built-in Either with a prelude-defined ADT version.

  Show description for 78d6ebd
  dougalm

  committed
  78d6ebd

  Copy full SHA for 78d6ebd

• Merge branch 'main' into records-variants

  dougalm

  committed
  46c2aa9

  Copy full SHA for 46c2aa9

• Get include working again in live notebook. Fixes google-research#107.

  dougalm

  committed
  4e72a40

  Copy full SHA for 4e72a40

Commits on Jul 30, 2020

• Add a binomial rejection sampler example.

  Show description for e0da273
  

  dougalm

  and

  axch

  committed
  e0da273

  Copy full SHA for e0da273

Commits on Jul 27, 2020

• Add links to more examples.

  dougalm

  committed
  72b9f44

  Copy full SHA for 72b9f44

Commits on Jul 26, 2020

• Define select using case in the prelude.

  Show description for f907a19
  dougalm

  committed
  f907a19

  Copy full SHA for f907a19

• Add a one-byte ASCII character base type so we can start to play with strings.

  dougalm

  committed
  4efc323

  Copy full SHA for 4efc323

Commits on Jul 24, 2020

• Fix some bugs in handling nested binders and add a List a type to the prelude.

  dougalm

  committed
  c487c99

  Copy full SHA for c487c99

• Use a Nest a type instead of [a] for nested binders, decls etc.

  Show description for 73f44e8
  dougalm

  committed
  73f44e8

  Copy full SHA for 73f44e8

• Give binders a distinct type from variable occurrences.

  Show description for 1c520bf
  dougalm

  committed
  1c520bf

  Copy full SHA for 1c520bf

• Start handling dependent data constructors.

  Show description for 91a14a6
  dougalm

  committed
  91a14a6

  Copy full SHA for 91a14a6

Commits on Jul 22, 2020

• Merge pull request google-research#164 from google-research/adts

  Show description for a85ba9b
  dougalm

  authored
  a85ba9b

  Copy full SHA for a85ba9b

• Handle top-level pattern-matching unpacking.

  Show description for 7d53d25
  dougalm

  committed
  7d53d25

  Copy full SHA for 7d53d25

• Fix GHC warnings.

  dougalm

  committed
  8a1eabd

  Copy full SHA for 8a1eabd

• Merge branch 'main' into adts

  dougalm

  committed
  838ef4e

  Copy full SHA for 838ef4e

Commits on Jul 21, 2020

• Define Bool/True/False as an ordinary ADT in the prelude.

  Show description for 30c2dea
  dougalm

  committed
  30c2dea

  Copy full SHA for 30c2dea

• Handle nested infallible patterns in case expressions.

  Show description for 4e2b6b9
  dougalm

  committed
  4e2b6b9

  Copy full SHA for 4e2b6b9

• Allow (infallible) constructor patterns in let and lambda.

  Show description for ca6fe98
  dougalm

  committed
  ca6fe98

  Copy full SHA for ca6fe98

Commits on Jul 20, 2020

• Start implementing nested patterns: add syntax and parsing rules.

  dougalm

  committed
  f69a702

  Copy full SHA for f69a702

Commits on Jul 19, 2020

• Reorganize the way we manage data definitions and constructors.

  Show description for 2cf0881
  dougalm

  committed
  2cf0881

  Copy full SHA for 2cf0881

Commits on Jul 17, 2020

• Add an operation to trigger a runtime error.

  Show description for 0adccd5
  dougalm

  committed
  0adccd5

  Copy full SHA for 0adccd5

• Add a unix-like exit code to LLVM functions.

  Show description for 7cdc861
  dougalm

  committed
  7cdc861

  Copy full SHA for 7cdc861

• Remove old newtype machinery. Use ADTs instead.

  dougalm

  committed
  d40e940

  Copy full SHA for d40e940

Commits on Jul 16, 2020

• Merge branch 'main' into adts

  dougalm

  committed
  776fa0d

  Copy full SHA for 776fa0d

• Tweak data and case syntax to allow single-case one-liners.

  dougalm

  committed
  3a51d13

  Copy full SHA for 3a51d13

• Add an if statement to Imp and use it for lowering case expressions.

  Show description for 5812ca0
  dougalm

  committed
  5812ca0

  Copy full SHA for 5812ca0

• Handle multi-constructor types and start handling multi-case case expressions.

  Show description for fe9f577
  dougalm

  committed
  fe9f577

  Copy full SHA for fe9f577

Commits on Jul 15, 2020

• Store parameters and args separately in the data constructor constructor.

  Show description for deb8156
  dougalm

  committed
  deb8156

  Copy full SHA for deb8156

Pagination

Previous

Next