Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Dec 23, 2025

• Add mssing jsonrpc fields to LSP

  Show description for 29a7cc0
  dominik-muc

  committed
  29a7cc0View commit details

  Copy full SHA for 29a7cc0

  Browse repository at this point

Commits on Dec 20, 2025

• Fast cycle detection in constraint simplification (#294)

  Show description for 7bdea7c
  ppolesiuk

  authored
  7bdea7cView commit details

  Copy full SHA for 7bdea7c

  Browse repository at this point

Commits on Dec 19, 2025

• Fixed test path in top level (#299)

  wojpok

  authored
  ccf1dd6View commit details

  Copy full SHA for ccf1dd6

  Browse repository at this point

Commits on Dec 17, 2025

• Fixed type annotations in Testing (#297)

  Show description for d07fed2
  ppolesiuk

  authored
  d07fed2View commit details

  Copy full SHA for d07fed2

  Browse repository at this point

• Testing framework (#289)

  Show description for 78dbba2
  

  wojpok

  and

  Foxinio

  authored
  78dbba2View commit details

  Copy full SHA for 78dbba2

  Browse repository at this point

Commits on Dec 16, 2025

• Special `~__modulePath__` implicit (#296)

  Show description for 395d515
  ppolesiuk

  authored
  395d515View commit details

  Copy full SHA for 395d515

  Browse repository at this point

Commits on Dec 15, 2025

• Fix

  ppolesiuk

  committed
  9735035View commit details

  Copy full SHA for 9735035

  Browse repository at this point

• Consistent naming for outer scopes and environments (#285)

  Show description for e769ca7
  ppolesiuk

  authored
  e769ca7View commit details

  Copy full SHA for e769ca7

  Browse repository at this point

Commits on Dec 13, 2025

• Detecting and simplifying equality-like constraints (#282)

  Show description for 94f0346
  ppolesiuk

  authored
  94f0346View commit details

  Copy full SHA for 94f0346

  Browse repository at this point

• Disallow higher-order effect kinds (#283)

  Show description for cffc3e0
  ppolesiuk

  authored
  cffc3e0View commit details

  Copy full SHA for cffc3e0

  Browse repository at this point

Commits on Dec 10, 2025

• Fixed bug in simplification of subeffecting constraints (#290)

  Show description for 90216fd
  ppolesiuk

  authored
  90216fdView commit details

  Copy full SHA for 90216fd

  Browse repository at this point

Commits on Nov 26, 2025

• Finite maps (#279)

  Show description for 1900074
  ppolesiuk

  authored
  1900074View commit details

  Copy full SHA for 1900074

  Browse repository at this point

Commits on Nov 24, 2025

• Attributes (#281)

  Show description for ff31cc9
  wojpok

  authored
  ff31cc9View commit details

  Copy full SHA for ff31cc9

  Browse repository at this point

Commits on Nov 23, 2025

• Basic ANSI modes (#267)

  Show description for 1dde2b9
  wojpok

  authored
  1dde2b9View commit details

  Copy full SHA for 1dde2b9

  Browse repository at this point

• Fixed test numbers

  ppolesiuk

  committed
  a0caf7dView commit details

  Copy full SHA for a0caf7d

  Browse repository at this point

• Refactored constraint simplification (#276)

  Show description for 6ea4ab8
  ppolesiuk

  authored
  6ea4ab8View commit details

  Copy full SHA for 6ea4ab8

  Browse repository at this point

Commits on Nov 22, 2025

• Relaxed method resolution, based on sizes (#271)

  Show description for 9dcabaa
  ppolesiuk

  authored
  9dcabaaView commit details

  Copy full SHA for 9dcabaa

  Browse repository at this point

Commits on Nov 21, 2025

• Sections (#277)

  Show description for 31a1876
  ppolesiuk

  authored
  31a1876View commit details

  Copy full SHA for 31a1876

  Browse repository at this point

Commits on Nov 19, 2025

• Streams (#266)

  Show description for a3e32b9
  wojpok

  authored
  a3e32b9View commit details

  Copy full SHA for a3e32b9

  Browse repository at this point

• Syntactic sugar for explicit instantiations with (effectful) functions (#269)

  Show description for b3a22f8
  wojciechdomin

  authored
  b3a22f8View commit details

  Copy full SHA for b3a22f8

  Browse repository at this point

Commits on Nov 14, 2025

• Add a nested handler test (#273)

  Brychlikov

  authored
  9c3fc4cView commit details

  Copy full SHA for 9c3fc4c

  Browse repository at this point

Commits on Nov 13, 2025

• Prelude extension (#268)

  Show description for c6b81a3
  wojpok

  authored
  c6b81a3View commit details

  Copy full SHA for c6b81a3

  Browse repository at this point

Commits on Nov 11, 2025

• Add power operator (#240)

  dominik-muc

  authored
  b0515e8View commit details

  Copy full SHA for b0515e8

  Browse repository at this point

• Use toString method in interpolation (#272)

  wojpok

  authored
  a99b58aView commit details

  Copy full SHA for a99b58a

  Browse repository at this point

• Extended List module (#265)

  wojpok

  authored
  d73b816View commit details

  Copy full SHA for d73b816

  Browse repository at this point

• Replace `toString` method with `show` for REPL printing (#270)

  Show description for cccf4cb
  ppolesiuk

  authored
  cccf4cbView commit details

  Copy full SHA for cccf4cb

  Browse repository at this point

Commits on Nov 3, 2025

• First-class lazy evaluation (#264)

  wojpok

  authored
  fc46491View commit details

  Copy full SHA for fc46491

  Browse repository at this point

Commits on Nov 1, 2025

• Bug fix (#216) (#260)

  ppolesiuk

  authored
  6ccac0fView commit details

  Copy full SHA for 6ccac0f

  Browse repository at this point

• Mutable lib additions revived (#250)

  Show description for 2ebc361
  

  3 peopleauthored
  2ebc361View commit details

  Copy full SHA for 2ebc361

  Browse repository at this point

Commits on Oct 31, 2025

• Implementation of pretty printing using toString method. (#249)

  Show description for b9c8f4c
  

  Dominik-Pawelec

  and

  ppolesiuk

  authored
  b9c8f4cView commit details

  Copy full SHA for b9c8f4c

  Browse repository at this point

Commits on Oct 25, 2025

• Expose maximum array length (#170) (#257)

  bruunioo

  authored
  801aa58View commit details

  Copy full SHA for 801aa58

  Browse repository at this point

Commits on Oct 24, 2025

• Stdlib List update (#154)

  Show description for 60e4403
  fatmage

  authored
  60e4403View commit details

  Copy full SHA for 60e4403

  Browse repository at this point

Commits on Oct 23, 2025

• Os stdlib module and separation of Eval/External module (#139)

  Show description for 2d6b41f
  Foxinio

  authored
  2d6b41fView commit details

  Copy full SHA for 2d6b41f

  Browse repository at this point

Commits on Jul 21, 2025

• Fixed parameter's method resolution (#253)

  Show description for 8679eb6
  ppolesiuk

  authored
  8679eb6View commit details

  Copy full SHA for 8679eb6

  Browse repository at this point

Commits on Jul 9, 2025

• Relaxed ANF for Core and Untyped (#251)

  Show description for 022803d
  ppolesiuk

  authored
  022803dView commit details

  Copy full SHA for 022803d

  Browse repository at this point