Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 22, 2024

• documentation and bumping version numbers

  dorchard

  committed
  fabe971

  Copy full SHA for fabe971

Commits on Jan 5, 2024

• regenerate Cabal files

  raehik

  committed
  6a9247d

  Copy full SHA for 6a9247d

• put Cabal files in history

  Show description for 0985b52
  raehik

  committed
  0985b52

  Copy full SHA for 0985b52

Commits on Sep 25, 2023

• documentation and version number bump

  dorchard

  committed
  5eeef3c

  Copy full SHA for 5eeef3c

Commits on Jul 26, 2023

• remove duplicate deriving implementations due to modules

  dorchard

  committed
  e54d6be

  Copy full SHA for e54d6be

• store derived definitions generated from checking rest of file in repl state

  dorchard

  committed
  fc393d4

  Copy full SHA for fc393d4

Commits on Jul 25, 2023

• bump version for dev-minor

  dorchard

  committed
  9292c9b

  Copy full SHA for 9292c9b

Commits on Jul 24, 2023

• bump version number and changelog update, ahead of new release

  dorchard

  committed
  c5c6d28

  Copy full SHA for c5c6d28

Commits on Jul 21, 2023

• merge new-synthesis into dev-minor

  

  Jack Hughes

  committed
  cf7e46c

  Copy full SHA for cf7e46c

Commits on Jul 19, 2023

• bump version; move some work-in-progress

  dorchard

  committed
  8b28db1

  Copy full SHA for 8b28db1

Commits on Jul 10, 2023

• merge substitution-gb-merge into new-synthesis

  

  Jack Hughes

  committed
  f8171d8

  Copy full SHA for f8171d8

Commits on Jul 3, 2023

• simplify data type 'registration' process for data constructors, and better code documentation

  dorchard

  committed
  238def0

  Copy full SHA for 238def0

Commits on Jun 26, 2023

• split out some data type handling functions to their own module + refactor and more documentation

  dorchard

  committed
  040dfe5

  Copy full SHA for 040dfe5

Commits on Feb 20, 2023

• some merge fixes

  jackohughes

  committed
  366698b

  Copy full SHA for 366698b

Commits on Feb 14, 2023

• add spec to Def data type. Pre-process, parse, and type check specs

  jackohughes

  committed
  245ad55

  Copy full SHA for 245ad55

Commits on Jan 11, 2023

• bump version number for development version

  dorchard

  committed
  03ddc6e

  Copy full SHA for 03ddc6e

Commits on Dec 12, 2022

• bump version numbers

  dorchard

  committed
  94bb4a5

  Copy full SHA for 94bb4a5

Commits on Oct 7, 2022

• optimise the way dependencies are built in the repl; this also fixes a repl bug

  dorchard

  committed
  3faa20d

  Copy full SHA for 3faa20d

Commits on Oct 6, 2022

• fixes #163

  dorchard

  committed
  7d1d064

  Copy full SHA for 7d1d064

Commits on Oct 3, 2022

• update GHC to 9.0.2 (LTS 19.25)

  starsandspirals

  committed
  6c66e4b

  Copy full SHA for 6c66e4b

Commits on May 30, 2022

• version number and changelog

  dorchard

  committed
  bfebd82

  Copy full SHA for bfebd82

Commits on Mar 30, 2022

• version ready for the release

  dorchard

  committed
  884d2b9

  Copy full SHA for 884d2b9

Commits on Jan 13, 2022

• don't accumulate extensions when loading/reloading files...gets bad

  dorchard

  committed
  bcf46cd

  Copy full SHA for bcf46cd

Commits on Jan 12, 2022

• :ext command for the repl

  dorchard

  committed
  82892d5

  Copy full SHA for 82892d5

• keep extension in repl state and update ?globals with them after any command (so that loading a file imports its extensions into the repl globals)

  dorchard

  committed
  6d0e738

  Copy full SHA for 6d0e738

• reduce repeated code between repl and interpreter

  dorchard

  committed
  12f7985

  Copy full SHA for 12f7985

Commits on Oct 26, 2021

• a new kind for uniqueness-shaped things that are not coeffects (very wip)

  starsandspirals

  committed
  277608e

  Copy full SHA for 277608e

Commits on Oct 17, 2021

• replace aliases before building AST when synthing types in repl (fixes #169)

  starsandspirals

  committed
  5b8836f

  Copy full SHA for 5b8836f

Commits on Sep 15, 2021

• odon't print derivedDefs in grepl on :t

  jackohughes

  committed
  97447be

  Copy full SHA for 97447be

Commits on Sep 13, 2021

• extended AST in grepl with derived definitions

  jackohughes

  committed
  ceb40f1

  Copy full SHA for ceb40f1

Commits on Sep 11, 2021

• bump version number and start new changelog for next release

  dorchard

  committed
  27c2dab

  Copy full SHA for 27c2dab

Commits on Jun 2, 2021

• hook extensions into the globals

  dorchard

  committed
  d5dfbef

  Copy full SHA for d5dfbef

Commits on May 26, 2021

• migrate parser from ReaderT to StateT

  starsandspirals

  committed
  0aafd8b

  Copy full SHA for 0aafd8b

Commits on Dec 23, 2020

• bump dev-minor version to 0.8.1.0

  jackohughes

  committed
  eca91f7

  Copy full SHA for eca91f7

Commits on Sep 16, 2020

• new way of merging all results

  dorchard

  committed
  0d995ee

  Copy full SHA for 0d995ee

Pagination

Previous

Next