Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on May 1, 2025

• nix flake update

  Unisay

  committed
  6845a67

  Copy full SHA for 6845a67

Commits on Apr 24, 2024

• Fix bug with eta reduction rewrite rule

  Unisay

  committed
  98420d3

  Copy full SHA for 98420d3

Commits on Apr 21, 2024

• Updated deps, removed Prim.undefined, no unused arguments.

  Unisay

  committed
  9409776

  Copy full SHA for 9409776

• GHC 9.8.2

  Unisay

  committed
  e562d22

  Copy full SHA for e562d22

Commits on Mar 23, 2024

• Lua 5.1

  Unisay

  committed
  a5a2c60

  Copy full SHA for a5a2c60

Commits on Mar 17, 2024

• GHC 9.6.4; PS 0.15.15

  Unisay

  committed
  40dbf8f

  Copy full SHA for 40dbf8f

Commits on Dec 24, 2023

• nix flake update, GHC 9.4.8

  Unisay

  committed
  59be32d

  Copy full SHA for 59be32d

Commits on Nov 5, 2023

• GHC 9.4.7

  Unisay

  committed
  04fbec9

  Copy full SHA for 04fbec9

• Nix flake update

  Unisay

  committed
  351df20

  Copy full SHA for 351df20

Commits on Jul 6, 2023

• cachix

  Unisay

  committed
  8267abf

  Copy full SHA for 8267abf

Commits on Jul 5, 2023

• Update nix flake, README, formatting.

  Unisay

  committed
  c3952fb

  Copy full SHA for c3952fb

Commits on Jul 4, 2023

• Rework the way foreign imports are linked, add treefmt, reformat sources

  Unisay

  committed
  35d902f

  Copy full SHA for 35d902f

Commits on Jul 2, 2023

• Rework substitution (#3)

  Show description for 189173d
  Unisay

  authored
  189173d

  Copy full SHA for 189173d

Commits on Mar 28, 2023

• Initial Sources

  Unisay

  committed
  bbfd014

  Copy full SHA for bbfd014

Loading