Commits

Branch selector

 cc6e6f9

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 9, 2023

• Fix Agda builds

  malob

  committed
  cc6e6f9

Commits on Sep 7, 2023

• Merge pull request agda#122 from malob/fix-mac-ci

  Show description for 6e8dd29
  isovector

  authored
  6e8dd29

Commits on Sep 6, 2023

• Speed up CI by caching Nix builds

  malob

  committed
  58e0660

• Fix macOS CI

  malob

  committed
  c9e09eb

• Merge pull request agda#120 from malob/update-GHCs

  Show description for 59cfd2b
  isovector

  authored
  59cfd2b

• Update GHC versions with default as 9.4.6

  malob

  committed
  2344ffd

• Update GHC versions with default as 9.2.8

  malob

  committed
  3744fec

Commits on Apr 17, 2023

• Merge pull request agda#118 from malob/update-to-ghc927

  Show description for 07c4eeb
  isovector

  authored
  07c4eeb

Commits on Apr 14, 2023

• Update to GHC 9.2.7

  malob

  committed
  b106f0c

Commits on Feb 26, 2023

• Merge pull request agda#114 from phijor/custom-highlighting

  Show description for bfada15
  isovector

  authored
  bfada15

• feat: Customizable syntax highlighting

  Show description for a873703
  phijor

  committed
  a873703

• test: Mark helper function test as pending

  phijor

  committed
  c5924c3

• Merge pull request agda#115 from malob/fix-build-and-bump

  Show description for 2af33c4
  isovector

  authored
  2af33c4

Commits on Feb 13, 2023

• Update LTS and Nix flake inputs

  malob

  committed
  9b8b1e1

• Use nvim-hs version 2.3.2.2

  malob

  committed
  1692f15

Commits on Feb 9, 2023

• fix: replaceQuestion at beginning of parens

  isovector

  committed
  02020b0

• hack: work around agda#113

  isovector

  committed
  9b31f5d

• fix: stack build

  isovector

  committed
  4c45b44

Commits on Jan 29, 2023

• Merge pull request agda#111 from phijor/infer-type-command

  Show description for 29d5879
  isovector

  authored
  29d5879

• test: Assert info window output of inferType

  phijor

  committed
  1172b35

• feat: Infer type of expression using :CornelisTypeInfer

  phijor

  committed
  6e9d5a8

Commits on Jan 28, 2023

• fix: do ftplugin settings before dying

  isovector

  committed
  7b72d94

Commits on Jan 27, 2023

• feat: add support for custom input hooks

  isovector

  committed
  10984fb

Commits on Jan 26, 2023

• feat: better ftplugin and iskeyword

  isovector

  committed
  2e0a103

Commits on Jan 17, 2023

• Merge pull request agda#106 from malob/update-resolver

  Show description for 7950064
  isovector

  authored
  7950064

• Merge pull request agda#107 from 4e554c4c/infoview_width

  Show description for fa235e4
  isovector

  authored
  fa235e4

• add documentation for g:cornelis_max_size

  4e554c4c

  committed
  cc0d348

• Allow configuring infoview width

  Show description for e9c1b02
  4e554c4c

  committed
  e9c1b02

Commits on Jan 14, 2023

• Decrease CI runtime

  malob

  committed
  55f8d0f

Commits on Jan 13, 2023

• Update the latest LTS

  malob

  committed
  9181c57

• Merge pull request agda#102 from Lysxia/smart-hl

  Show description for bbac7fc
  isovector

  authored
  bbac7fc

• Handle highlighting on modified source

  Lysxia

  committed
  4ecc961

• Load only when Agda is idle, and save on load

  Lysxia

  committed
  b2ec8ae

Commits on Jan 11, 2023

• Merge pull request agda#105 from malob/ci-retry-tests

  Show description for 3ff9321
  isovector

  authored
  3ff9321

• Update checkout action to v3 to get ride of warnings

  malob

  committed
  b7bb688

Pagination

PreviousNext