Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 22, 2024

• changelog

  dorchard

  committed
  bcf2365

• documentation and bumping version numbers

  dorchard

  committed
  fabe971

• Merge pull request #229 from granule-project/fractional

  Show description for 2a2e347
  dorchard

  authored
  2a2e347

• tweaks

  dorchard

  committed
  f861c0d

Commits on Oct 17, 2024

• fix typo

  

  eldesh

  authored and

  dorchard

  committed
  dfc2314

• fix example/test

  dorchard

  committed
  094c905

• Merge branch 'main' into fractional

  dorchard

  authored
  78b43af

Commits on May 8, 2024

• Add missing output file

  

  buggymcbugfix

  authored and

  dorchard

  committed
  9896176

• Fix LeftPadTutorial.gr

  

  buggymcbugfix

  authored and

  dorchard

  committed
  99335ce

• Run GitHub workflows only for main

  

  buggymcbugfix

  authored and

  dorchard

  committed
  20a8e20

• filter out definitions with holes when trying examples

  

  dorchard

  authored and

  buggymcbugfix

  committed
  d4e11b1

• Switch around who gets to be the "Normal" Set

  buggymcbugfix

  committed
  fe9ba90

• Add NonInterfering semiring predicate

  buggymcbugfix

  committed
  c87aa09

• non inteference combinators

  

  dorchard

  authored and

  buggymcbugfix

  committed
  8279ed4

• Print git info with --version command

  buggymcbugfix

  committed
  07a0a78

• fix graded base on lambdas

  

  dorchard

  authored and

  buggymcbugfix

  committed
  f847d8f

Commits on May 2, 2024

• CI: use preinstalled Stack; fix caching

  

  andreasabel

  authored and

  buggymcbugfix

  committed
  b0e17d8

• Bump stack.yaml to LTS 20.26 (GHC 9.2.8)

  Show description for 7a20c72
  

  andreasabel

  authored and

  buggymcbugfix

  committed
  7a20c72

• Some missing golden values

  

  andreasabel

  authored and

  buggymcbugfix

  committed
  4366864

• Cabal files updated for 0.9.5.0

  

  andreasabel

  authored and

  buggymcbugfix

  committed
  03a71e9

Commits on Mar 8, 2024

• Merge pull request #239 from granule-project/dev-minor

  Show description for 83bdac0
  dorchard

  authored
  83bdac0

• changelog

  dorchard

  committed
  577b71a

• update tests

  dorchard

  committed
  ee6e11c

• fix some more tests

  dorchard

  committed
  a407009

• synth test updates

  dorchard

  committed
  24e2e35

• update some tests

  dorchard

  committed
  5f07f3d

• fix cost example to be more precise

  dorchard

  committed
  77f9d9d

• ignore Premature end of file errors in LSP

  dorchard

  committed
  f804cec

Commits on Mar 7, 2024

• slight naming tweak

  dorchard

  committed
  e3b8898

• handle redefinition problems in evaluator around deriving

  dorchard

  committed
  9d89933

• kind errors for deriving drop

  dorchard

  committed
  bb5202d

• fix typing for drop and report errors if ill-kinded uses

  dorchard

  committed
  e329e6c

• make drop and copyShape have primitive placeholders for documentation purposes

  dorchard

  committed
  65c87dc

• rename drop on vectors

  dorchard

  committed
  2517787

• slightly tweak algebraic effects interface

  dorchard

  committed
  2d180a5

Pagination

PreviousNext