Skip to content

Tags: dominik-muc/koka

Tags

v3.2.2

Toggle v3.2.2's commit message
2025-07-22: bug fix release

v3.2.0

Toggle v3.2.0's commit message
2025-07-17: improved implicits

v3.1.3

Toggle v3.1.3's commit message
2025-07-03: support lazy constructors

v3.1.3-alpha17

Toggle v3.1.3-alpha17's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request koka-lang#735 from TimWhiting/fix-inlined-defs

Fix inlined defs

v3.1.3-alpha16

Toggle v3.1.3-alpha16's commit message
fix name lookup error

v3.1.3-alpha15

Toggle v3.1.3-alpha15's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request koka-lang#712 from timbertson/listdir

os.list-directory: fix handling of errno for unix systems.

v3.1.3-alpha14

Toggle v3.1.3-alpha14's commit message
update oldest available ubuntu

v3.1.3-alpha13

Toggle v3.1.3-alpha13's commit message
update tests

v3.1.3-alpha12

Toggle v3.1.3-alpha12's commit message
Separate color setting from other configuration, so we receive config…

…uration updates live

v3.1.3-alpha11

Toggle v3.1.3-alpha11's commit message
Fix time parsing