Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 7, 2025

• msc q1: coq, tidal

  andtsa

  committed
  5131a43

  Copy full SHA for 5131a43

Commits on May 25, 2025

• overhaul and slimming down

  andtsa

  committed
  2d3069b

  Copy full SHA for 2d3069b

Commits on Apr 25, 2025

• fix <leader>fmt

  andtsa

  committed
  2480036

  Copy full SHA for 2480036

Commits on Apr 24, 2025

• more git features

  andtsa

  committed
  3b9b7a1

  Copy full SHA for 3b9b7a1

Commits on Apr 13, 2025

• haskell (remove in future)

  andtsa

  committed
  047f9b0

  Copy full SHA for 047f9b0

Commits on Mar 19, 2025

• lost track

  andtsa

  committed
  1848e52

  Copy full SHA for 1848e52

Commits on Mar 17, 2025

• more haskell, questionable java support

  andtsa

  committed
  004b143

  Copy full SHA for 004b143

Commits on Feb 11, 2025

• initial haskell support

  andtsa

  committed
  cfaaa21

  Copy full SHA for cfaaa21

Commits on Nov 6, 2024

• fix nabla.nvim, add command completion!

  andtsa

  committed
  1788708

  Copy full SHA for 1788708

Commits on Oct 22, 2024

• improved MD usability

  andtsa

  committed
  b9b8eb5

  Copy full SHA for b9b8eb5

• improved markdown

  andtsa

  committed
  dcab309

  Copy full SHA for dcab309

Commits on Oct 19, 2024

• add markdown support, shortcut shift-T to open terminal below

  andtsa

  committed
  5bf229b

  Copy full SHA for 5bf229b

Commits on Oct 4, 2024

• updates

  andtsa

  committed
  4d459c5

  Copy full SHA for 4d459c5

Commits on Sep 27, 2024

• add fonts

  andtsa

  committed
  38b58ec

  Copy full SHA for 38b58ec

Commits on Sep 23, 2024

• revamp

  andtsa

  committed
  1d36ad0

  Copy full SHA for 1d36ad0

• stuff ig

  andtsa

  committed
  2c0cd49

  Copy full SHA for 2c0cd49

Commits on Jul 26, 2024

• initial

  andtsa

  committed
  02f727f

  Copy full SHA for 02f727f