Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 28, 2022

• Fix scoped within scoped incoherency. Add runScopedNew (#466)

  

  KingoftheHomeless

  authored and

  tek

  committed
  1ff567c

  Copy full SHA for 1ff567c

• fix scoped interpreters automatically recursively interpreting

  tek

  committed
  2d88b93

  Copy full SHA for 2d88b93

Commits on Oct 16, 2022

• Scoped without resource param (#462)

  tek

  authored
  1b6ae7b

  Copy full SHA for 1b6ae7b

Commits on Jan 23, 2022

• Prevent errorToIOFinal from mixing errors up (#444)

  

  re-xyr

  authored and

  KingoftheHomeless

  committed
  8450bff

  Copy full SHA for 8450bff

Commits on Dec 1, 2021

• Remove lowering functions and forklift (#438)

  Show description for 6ece463
  isovector

  authored
  6ece463

  Copy full SHA for 6ece463

Commits on Nov 29, 2021

• Remove View (#439)

  isovector

  authored
  3f965b7

  Copy full SHA for 3f965b7

Commits on Nov 28, 2021

• Remove Polysemy.Law (#437)

  Show description for 5e638eb
  isovector

  authored
  5e638eb

  Copy full SHA for 5e638eb

Commits on Nov 16, 2021

• Remove custom type errors from Member (#429)

  Show description for 5515064
  isovector

  authored
  5515064

  Copy full SHA for 5515064

Commits on Jul 12, 2021

• release 1.6.0.0

  tek

  committed
  2ddc66b

  Copy full SHA for 2ddc66b

Commits on Jun 25, 2021

• fix doctests on 9.0.1

  Show description for e25d120
  tek

  committed
  e25d120

  Copy full SHA for e25d120

Commits on Nov 18, 2020

• Simple variants of runT and bindT (#393)

  Show description for 478c86e
  KingoftheHomeless

  authored
  478c86e

  Copy full SHA for 478c86e

Commits on Jul 29, 2020

• Small code simplifications (#360)

  Show description for 235813d
  

  jeremyschlatter

  and

  TheMatten

  authored
  235813d

  Copy full SHA for 235813d

Commits on Feb 13, 2020

• Add lazy interpretations for Output and Writer (#311)

  Show description for 8d49b67
  KingoftheHomeless

  authored
  8d49b67

  Copy full SHA for 8d49b67

Commits on Dec 8, 2019

• Membership proof rewrite, membership testing, Bundle effect (#282)

  Show description for a4868bd
  KingoftheHomeless

  authored
  a4868bd

  Copy full SHA for a4868bd

Commits on Nov 1, 2019

• Disable loopbreaker (#274)

  Show description for 5aa84c8
  isovector

  authored
  5aa84c8

  Copy full SHA for 5aa84c8

• Revert functorial state of runNonDet to [] (#273)

  Show description for 93f8054
  KingoftheHomeless

  authored
  93f8054

  Copy full SHA for 93f8054

• Law Machinery (#269)

  Show description for 4cce80c
  isovector

  authored
  4cce80c

  Copy full SHA for 4cce80c

• View effect (#271)

  Show description for 2587492
  isovector

  authored
  2587492

  Copy full SHA for 2587492

• Add fromException and fromExceptionVia (#270)

  isovector

  authored
  10ecd39

  Copy full SHA for 10ecd39

Commits on Oct 28, 2019

• Feature/cabal doctest and ghc 8.8.1 (#267)

  Show description for 95b4b55
  

  Samuel Evans-Powell

  authored and

  isovector

  committed
  95b4b55

  Copy full SHA for 95b4b55

Commits on Oct 22, 2019

• Ensure IO Resource interpreters handle Sem failure

  Show description for b00d451
  isovector

  committed
  b00d451

  Copy full SHA for b00d451

Commits on Aug 30, 2019

• Add Final Effect (#217)

  Show description for 4a5f2ce
  KingoftheHomeless

  authored
  4a5f2ce

  Copy full SHA for 4a5f2ce

Commits on Aug 15, 2019

• Add AtomicState and atomic interpreters for Output/Writer (#206)

  Show description for d7d3d4b
  

  KingoftheHomeless

  authored and

  isovector

  committed
  d7d3d4b

  Copy full SHA for d7d3d4b

Commits on Aug 6, 2019

• Add Fail effect (#199)

  Show description for 26a6d2e
  

  KingoftheHomeless

  authored and

  isovector

  committed
  26a6d2e

  Copy full SHA for 26a6d2e

Commits on Aug 3, 2019

• Have AsyncSpec use locks instead of sleeps (#197)

  

  KingoftheHomeless

  authored and

  isovector

  committed
  829e320

  Copy full SHA for 829e320

Commits on Jul 31, 2019

• Fix strictness semantics of State and Writer (#194)

  Show description for 5930ddf
  

  KingoftheHomeless

  authored and

  isovector

  committed
  5930ddf

  Copy full SHA for 5930ddf

Commits on Jul 27, 2019

• Improve semantics of Fixpoint (#187)

  Show description for 4dc09e7
  

  KingoftheHomeless

  authored and

  isovector

  committed
  4dc09e7

  Copy full SHA for 4dc09e7

Commits on Jul 24, 2019

• Document change in semantics based on order of interpreters (#181)

  Show description for d803c81
  

  TheMatten

  authored and

  isovector

  committed
  d803c81

  Copy full SHA for d803c81

Commits on Jul 15, 2019

• Rename everything and its grandmother (#175)

  isovector

  authored
  de1607e

  Copy full SHA for de1607e

• Make NonDet Higher-Order (#174)

  Show description for d12adcd
  

  KingoftheHomeless

  authored and

  isovector

  committed
  d12adcd

  Copy full SHA for d12adcd

Commits on Jul 11, 2019

• Rename Lift to Embed (#161)

  Show description for 48b6768
  

  googleson78

  authored and

  isovector

  committed
  48b6768

  Copy full SHA for 48b6768

Commits on Jul 9, 2019

• Reenable data families and their tests

  TheMatten

  committed
  3e1f100

  Copy full SHA for 3e1f100

Commits on Jul 8, 2019

• Remove data families tests completely

  TheMatten

  committed
  766ac09

  Copy full SHA for 766ac09

• Fix ambiguously looking variables in smart constructors, refactor Polysemy.Internal.TH.Common

  TheMatten

  committed
  ec03b04

  Copy full SHA for ec03b04

• Add Pass to Writer, replacing Censor. Fix semantics of listen (#169)

  Show description for 0d22cda
  

  KingoftheHomeless

  authored and

  isovector

  committed
  0d22cda

  Copy full SHA for 0d22cda

Pagination

Previous

Next