Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 26, 2023

• disable -Werror for now due to partial functions like head, tail. (#155)

  wavewave

  committedJun 26, 2023
  ea56cbe

Commits on Jun 25, 2023

• Start a grid cache experiment (#154)

  wavewave

  committedJun 25, 2023
  3008650

Commits on Mar 17, 2023

• update eventlog-socket

  wavewave

  committedMar 17, 2023
  19bf2dd

Commits on Mar 16, 2023

• fix index state

  wavewave

  committedMar 16, 2023
  b1f15db

Commits on Feb 27, 2023

• Update the library extra to be compatible with GHC HEAD (#153)

  wavewave

  committedFeb 27, 2023
  e135359

Commits on Feb 25, 2023

• Let timeline flow (#152)

  wavewave

  committedFeb 25, 2023
  35f8584

• separate out Types and Render (#151)

  wavewave

  committedFeb 25, 2023
  8b06725

• Show eventlog timeline (#150)

  wavewave

  committedFeb 25, 2023
  12389cd

Commits on Feb 24, 2023

• Eventlog histogramming (#149)

  wavewave

  committedFeb 24, 2023
  7296b8a

Commits on Feb 22, 2023

• gi-gtk on GHC 9.2, 9.4 and GHC HEAD (#148)

  wavewave

  committedFeb 22, 2023
  038b50b

• Refactor out nix expressions into separate files (#147)

  wavewave

  committedFeb 22, 2023
  3c83c78

• parallel build by default (#146)

  wavewave

  committedFeb 22, 2023
  d38339e

• Live eventlog monitoring through a socket (#145)

  wavewave

  committedFeb 22, 2023
  bdd8657

• aarch64-darwin build on GHC HEAD with ghc.nix (#144)

  wavewave

  committedFeb 22, 2023
  9885635

Commits on Feb 17, 2023

• GHC HEAD compatible build (#143)

  wavewave

  committedFeb 17, 2023
  73f82d4

Commits on Feb 9, 2023

• Provide ghc-9.4.4 shell (#142)

  wavewave

  committedFeb 9, 2023
  9fd9022

Commits on Jan 21, 2023

• Change directory scheme (#141)

  wavewave

  committedJan 21, 2023
  5185332

Commits on Jan 17, 2023

• hoodle-web dev env on flake.nix (#140)

  wavewave

  committedJan 17, 2023
  4122cc2

• remove HANDRECA

  wavewave

  committedJan 17, 2023
  9ea0f7c

Commits on Jan 16, 2023

• GHC 9.2 build by disabling broken poppler and hoodle-publish, handwriting recog using Google API (#136)

  wavewave

  committedJan 16, 2023
  0d94530

Commits on Jun 4, 2022

• Merge pull request #133 from wavewave/no-implicit-import-hoodle

  wavewave

  committedJun 4, 2022
  fa7481d

• clean coroutine-object

  wavewave

  committedJun 4, 2022
  e8eb9e4

• clean implicit imports from hoodle-render

  wavewave

  committedJun 4, 2022
  ac14a6b

Commits on Jun 3, 2022

• remove implicit imports from hoodle-parser

  wavewave

  committedJun 3, 2022
  1b72818

• remove implicit imports from xournal-types

  wavewave

  committedJun 3, 2022
  f575493

• remove implicit imports from hoodle-publish

  wavewave

  committedJun 3, 2022
  5f79667

• remove all implicit imports in remaining hoodle-core modules

  wavewave

  committedJun 3, 2022
  4ee5ca8

• all Hoodle.Widget.*

  wavewave

  committedJun 3, 2022
  db3d2e7

• remove implicit imports in Coroutine.* in hoodle-core

  wavewave

  committedJun 3, 2022
  e1b95d4

• clean up implicit imports in hoodle

  wavewave

  committedJun 3, 2022
  8e2e373

• clean up hoodle-builder

  wavewave

  committedJun 3, 2022
  1b75ac0

• remove bare imports in xournal-parser

  wavewave

  committedJun 3, 2022
  3083c5b

• no bare imports in hoodle-types

  wavewave

  committedJun 3, 2022
  f515a71

• Plugin that finds implicitly imported names automatically (#132)

  wavewave

  committedJun 3, 2022
  4cfe337

• Merge pull request #131 from wavewave/no-implicit-imports

  wavewave

  committedJun 3, 2022
  247b410

Pagination

PreviousNext