Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on May 16, 2026

• Fix the VS Code extension command execution issue

  joom

  committed
  927bc9e

  Copy full SHA for 927bc9e

• Merge branch 'main' of https://github.com/kip-dili/kip

  joom

  committed
  d06acd5

  Copy full SHA for d06acd5

• Update README.md

  joom

  committed
  895e99c

  Copy full SHA for 895e99c

Commits on May 4, 2026

• Merge pull request #32 from SiyahKale0/patch-1

  Show description for b6cf15e
  joom

  authored
  b6cf15e

  Copy full SHA for b6cf15e

• liste.kip'e bulgu fonksiyonunu ekle

  Show description for c84c6d0
  SiyahKale0

  authored
  c84c6d0

  Copy full SHA for c84c6d0

Commits on Mar 22, 2026

• Clean up the stdlib

  joom

  committed
  3edfeb6

  Copy full SHA for 3edfeb6

Commits on Mar 20, 2026

• Implement dictionaries

  joom

  committed
  9c5ea7d

  Copy full SHA for 9c5ea7d

Commits on Mar 15, 2026

• Merge pull request #30 from akdemironur/kumes

  Show description for ad0a903
  joom

  authored
  ad0a903

  Copy full SHA for ad0a903

Commits on Mar 13, 2026

• lint

  akdemironur

  committed
  7ea54ae

  Copy full SHA for 7ea54ae

• fold

  akdemironur

  committed
  4dc7e57

  Copy full SHA for 4dc7e57

• constructor overload

  akdemironur

  committed
  5c43754

  Copy full SHA for 5c43754

Commits on Mar 11, 2026

• set

  akdemironur

  committed
  427c666

  Copy full SHA for 427c666

• Make sure patterns are also flexible in order

  joom

  committed
  e3b58ca

  Copy full SHA for e3b58ca

Commits on Mar 1, 2026

• Error improvement

  joom

  committed
  ef9f9b0

  Copy full SHA for ef9f9b0

• Better error messages for non-exhaustive match

  joom

  committed
  e1a41e6

  Copy full SHA for e1a41e6

• Better error messages

  joom

  committed
  c8d6869

  Copy full SHA for c8d6869

• Better error for effectful expression in pure context

  joom

  committed
  71bf13f

  Copy full SHA for 71bf13f

Commits on Feb 28, 2026

• Stdlib tests

  joom

  committed
  139226d

  Copy full SHA for 139226d

Commits on Feb 27, 2026

• Add new list functions to stdlib (closes #29) + fixes

  joom

  committed
  3afcd0f

  Copy full SHA for 3afcd0f

• Merge pull request #28 from akdemironur/getEnv

  Show description for 95848f7
  joom

  authored
  95848f7

  Copy full SHA for 95848f7

Commits on Feb 26, 2026

• Error message improvement

  joom

  committed
  fc09ba3

  Copy full SHA for fc09ba3

• env tests

  akdemironur

  committed
  1c66480

  Copy full SHA for 1c66480

• getEnv

  akdemironur

  committed
  0a0189e

  Copy full SHA for 0a0189e

• Fix type checking in call to HOF

  joom

  committed
  b60b10e

  Copy full SHA for b60b10e

• Mutual recursion test

  joom

  committed
  cdac778

  Copy full SHA for cdac778

• Pure definitions are evaluated + fix bug in effect type checking

  joom

  committed
  5b94514

  Copy full SHA for 5b94514

• Define folds in plain Kip instead of primitives

  joom

  committed
  e3dbe6f

  Copy full SHA for e3dbe6f

• Merge pull request #27 from akdemironur/fold

  Show description for 182cf68
  joom

  authored
  182cf68

  Copy full SHA for 182cf68

• fold

  akdemironur

  committed
  6e717b9

  Copy full SHA for 6e717b9

Commits on Feb 25, 2026

• Comments on optimizations

  joom

  committed
  67e69d2

  Copy full SHA for 67e69d2

• Optimizations for the ST-based union-find

  joom

  committed
  d881048

  Copy full SHA for d881048

• ST-based union find

  joom

  committed
  9498354

  Copy full SHA for 9498354

• Optimizations

  joom

  committed
  3e78c46

  Copy full SHA for 3e78c46

• Parser optimizations

  joom

  committed
  b4a6418

  Copy full SHA for b4a6418

• Parser optimizations

  joom

  committed
  a639e82

  Copy full SHA for a639e82