0
I Use This!
High Activity

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 20 hours ago.
May 03, 2023 — May 03, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
update readme More... 2 months ago
disable kind assertion for now More... 2 months ago
Merge branch 'dev' of https://github.com/koka-lang/koka into dev More... 2 months ago
bump version to 3.1.1, update readme, update mimalloc More... 2 months ago
add exception handling to all handlers More... 2 months ago
use latest stackage More... 3 months ago
fix builtin detection on gcc versions < 10 More... 3 months ago
add tmap example to the fip example More... 3 months ago
fix partial pattern match in the completion handler; this seems to fix the stuck errors as well More... 3 months ago
Merge branch 'dev' of https://github.com/koka-lang/koka into dev More... 3 months ago
update dependencies More... 3 months ago
update readme More... 3 months ago
fix modSource field; fixes doc generation as well More... 3 months ago
bump version to v3.1.1 for further development More... 3 months ago
update news More... 3 months ago
build with CL with -j1 to avoid linker errors More... 3 months ago
fix VCPKG_ROOT quoting More... 3 months ago
fix vcpkg option More... 3 months ago
fix unused function warning More... 3 months ago
update comment on unsafe-total More... 3 months ago
integrate slice equality #460; add unsafe-ptr-eq More... 3 months ago
fix trace in javascript backend More... 3 months ago
Merge pull request #460 from TimWhiting/fix-slice-equality More... 3 months ago
use inclusive range for integer for/fold (see issue #466) More... 3 months ago
Merge branch 'dev' of https://github.com/koka-lang/koka into dev More... 3 months ago
Merge pull request #466 from samosica/fix-off-by-one-bug-in-folds More... 3 months ago
fix lifting of quantified types in mask; bump version to 3.1.0 More... 3 months ago
various changes for the new release More... 3 months ago
fix effectExtend kind More... 3 months ago
comments, samples More... 3 months ago