Home /
aiken-lang /
aiken
Dec 03, 3-4 PM (0)
Dec 03, 4-5 PM (0)
Dec 03, 5-6 PM (0)
Dec 03, 6-7 PM (0)
Dec 03, 7-8 PM (0)
Dec 03, 8-9 PM (0)
Dec 03, 9-10 PM (0)
Dec 03, 10-11 PM (0)
Dec 03, 11-12 AM (0)
Dec 04, 12-1 AM (0)
Dec 04, 1-2 AM (0)
Dec 04, 2-3 AM (0)
Dec 04, 3-4 AM (0)
Dec 04, 4-5 AM (0)
Dec 04, 5-6 AM (0)
Dec 04, 6-7 AM (0)
Dec 04, 7-8 AM (0)
Dec 04, 8-9 AM (0)
Dec 04, 9-10 AM (0)
Dec 04, 10-11 AM (0)
Dec 04, 11-12 PM (0)
Dec 04, 12-1 PM (0)
Dec 04, 1-2 PM (1)
Dec 04, 2-3 PM (2)
Dec 04, 3-4 PM (2)
Dec 04, 4-5 PM (1)
Dec 04, 5-6 PM (0)
Dec 04, 6-7 PM (0)
Dec 04, 7-8 PM (0)
Dec 04, 8-9 PM (0)
Dec 04, 9-10 PM (0)
Dec 04, 10-11 PM (0)
Dec 04, 11-12 AM (0)
Dec 05, 12-1 AM (0)
Dec 05, 1-2 AM (0)
Dec 05, 2-3 AM (0)
Dec 05, 3-4 AM (0)
Dec 05, 4-5 AM (0)
Dec 05, 5-6 AM (0)
Dec 05, 6-7 AM (0)
Dec 05, 7-8 AM (1)
Dec 05, 8-9 AM (0)
Dec 05, 9-10 AM (0)
Dec 05, 10-11 AM (0)
Dec 05, 11-12 PM (1)
Dec 05, 12-1 PM (0)
Dec 05, 1-2 PM (0)
Dec 05, 2-3 PM (3)
Dec 05, 3-4 PM (1)
Dec 05, 4-5 PM (0)
Dec 05, 5-6 PM (1)
Dec 05, 6-7 PM (0)
Dec 05, 7-8 PM (0)
Dec 05, 8-9 PM (0)
Dec 05, 9-10 PM (0)
Dec 05, 10-11 PM (0)
Dec 05, 11-12 AM (0)
Dec 06, 12-1 AM (0)
Dec 06, 1-2 AM (0)
Dec 06, 2-3 AM (0)
Dec 06, 3-4 AM (0)
Dec 06, 4-5 AM (0)
Dec 06, 5-6 AM (1)
Dec 06, 6-7 AM (1)
Dec 06, 7-8 AM (1)
Dec 06, 8-9 AM (0)
Dec 06, 9-10 AM (1)
Dec 06, 10-11 AM (1)
Dec 06, 11-12 PM (0)
Dec 06, 12-1 PM (0)
Dec 06, 1-2 PM (0)
Dec 06, 2-3 PM (0)
Dec 06, 3-4 PM (0)
Dec 06, 4-5 PM (0)
Dec 06, 5-6 PM (0)
Dec 06, 6-7 PM (0)
Dec 06, 7-8 PM (0)
Dec 06, 8-9 PM (0)
Dec 06, 9-10 PM (0)
Dec 06, 10-11 PM (0)
Dec 06, 11-12 AM (0)
Dec 07, 12-1 AM (0)
Dec 07, 1-2 AM (0)
Dec 07, 2-3 AM (0)
Dec 07, 3-4 AM (0)
Dec 07, 4-5 AM (0)
Dec 07, 5-6 AM (0)
Dec 07, 6-7 AM (0)
Dec 07, 7-8 AM (0)
Dec 07, 8-9 AM (0)
Dec 07, 9-10 AM (0)
Dec 07, 10-11 AM (0)
Dec 07, 11-12 PM (0)
Dec 07, 12-1 PM (0)
Dec 07, 1-2 PM (0)
Dec 07, 2-3 PM (0)
Dec 07, 3-4 PM (0)
Dec 07, 4-5 PM (0)
Dec 07, 5-6 PM (0)
Dec 07, 6-7 PM (0)
Dec 07, 7-8 PM (0)
Dec 07, 8-9 PM (0)
Dec 07, 9-10 PM (0)
Dec 07, 10-11 PM (0)
Dec 07, 11-12 AM (0)
Dec 08, 12-1 AM (0)
Dec 08, 1-2 AM (0)
Dec 08, 2-3 AM (0)
Dec 08, 3-4 AM (0)
Dec 08, 4-5 AM (0)
Dec 08, 5-6 AM (0)
Dec 08, 6-7 AM (0)
Dec 08, 7-8 AM (0)
Dec 08, 8-9 AM (0)
Dec 08, 9-10 AM (0)
Dec 08, 10-11 AM (0)
Dec 08, 11-12 PM (0)
Dec 08, 12-1 PM (0)
Dec 08, 1-2 PM (0)
Dec 08, 2-3 PM (25)
Dec 08, 3-4 PM (19)
Dec 08, 4-5 PM (3)
Dec 08, 5-6 PM (0)
Dec 08, 6-7 PM (0)
Dec 08, 7-8 PM (0)
Dec 08, 8-9 PM (0)
Dec 08, 9-10 PM (0)
Dec 08, 10-11 PM (0)
Dec 08, 11-12 AM (0)
Dec 09, 12-1 AM (0)
Dec 09, 1-2 AM (0)
Dec 09, 2-3 AM (0)
Dec 09, 3-4 AM (0)
Dec 09, 4-5 AM (0)
Dec 09, 5-6 AM (0)
Dec 09, 6-7 AM (0)
Dec 09, 7-8 AM (0)
Dec 09, 8-9 AM (0)
Dec 09, 9-10 AM (0)
Dec 09, 10-11 AM (1)
Dec 09, 11-12 PM (0)
Dec 09, 12-1 PM (0)
Dec 09, 1-2 PM (0)
Dec 09, 2-3 PM (0)
Dec 09, 3-4 PM (0)
Dec 09, 4-5 PM (0)
Dec 09, 5-6 PM (0)
Dec 09, 6-7 PM (0)
Dec 09, 7-8 PM (0)
Dec 09, 8-9 PM (0)
Dec 09, 9-10 PM (0)
Dec 09, 10-11 PM (0)
Dec 09, 11-12 AM (0)
Dec 10, 12-1 AM (0)
Dec 10, 1-2 AM (0)
Dec 10, 2-3 AM (2)
Dec 10, 3-4 AM (0)
Dec 10, 4-5 AM (0)
Dec 10, 5-6 AM (0)
Dec 10, 6-7 AM (0)
Dec 10, 7-8 AM (0)
Dec 10, 8-9 AM (0)
Dec 10, 9-10 AM (0)
Dec 10, 10-11 AM (0)
Dec 10, 11-12 PM (0)
Dec 10, 12-1 PM (0)
Dec 10, 1-2 PM (0)
Dec 10, 2-3 PM (0)
Dec 10, 3-4 PM (0)
68 commits this week
Dec 03, 2025
-
Dec 10, 2025
revise .gitattributes.
Signed-off-by: KtorZ <[email protected]>
fill-in CHANGELOG for v1.1.20
Signed-off-by: KtorZ <[email protected]>
do not panic when unresolved generics are found during monomorphisation.
Let the UPLC generation continue and fails later if necessary. Failing early here is unnecessary, as it may be fine to keep return type somewhat generic. Fixes #1201. Signed-off-by: KtorZ <[email protected]>
Merge pull request #1237 from aiken-lang/fixes-1180
Fix parsing of newline negative integer in via expressions
Merge pull request #1233 from aiken-lang/dependabot/cargo/tracing-0.1.43
chore(deps): bump tracing from 0.1.41 to 0.1.43
Fix parsing of newline negative integer in via expressions
Fixes #1180. Signed-off-by: KtorZ <[email protected]>
Merge pull request #1236 from aiken-lang/dependabot/npm_and_yarn/examples/gift_card/devalue-5.5.0
chore(deps): bump devalue from 5.1.1 to 5.5.0 in /examples/gift_card
Merge pull request #1217 from aiken-lang/fixes-1187
Handle pointfree pairs & improve error reporting on arity mismatch when using Pairs
fix flaky proptest.
Signed-off-by: KtorZ <[email protected]>
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
chore(deps): bump tracing from 0.1.41 to 0.1.43
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.41 to 0.1.43. - [Release notes](https://github.com/tokio-rs/tracing/releases) - [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.41...tracing-0.1.43) --- updated-dependencies: - dependency-name: tracing dependency-version: 0.1.43 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
Merge pull request #1235 from aiken-lang/dependabot/cargo/clap_complete-4.5.61
chore(deps): bump clap_complete from 4.5.50 to 4.5.61
Merge pull request #1232 from aiken-lang/dependabot/cargo/clap-4.5.53
chore(deps): bump clap from 4.5.37 to 4.5.53
Merge pull request #1231 from aiken-lang/dependabot/cargo/url-2.5.7
chore(deps): bump url from 2.5.4 to 2.5.7
Merge pull request #1234 from aiken-lang/dependabot/cargo/glob-0.3.3
chore(deps): bump glob from 0.3.2 to 0.3.3
Merge pull request #1230 from aiken-lang/dependabot/github_actions/actions/checkout-6
chore(deps): bump actions/checkout from 3 to 6
Merge pull request #1229 from aiken-lang/dependabot/github_actions/actions/upload-artifact-5
chore(deps): bump actions/upload-artifact from 4 to 5
Merge pull request #1228 from aiken-lang/dependabot/github_actions/actions/download-artifact-6
chore(deps): bump actions/download-artifact from 4 to 6
chore(deps): bump devalue from 5.1.1 to 5.5.0 in /examples/gift_card
Bumps [devalue](https://github.com/sveltejs/devalue) from 5.1.1 to 5.5.0. - [Release notes](https://github.com/sveltejs/devalue/releases) - [Changelog](https://github.com/sveltejs/devalue/blob/main/CHANGELOG.md) - [Commits](https://github.com/sveltejs/devalue/compare/v5.1.1...v5.5.0) --- updated-dependencies: - dependency-name: devalue dependency-version: 5.5.0 dependency-type: indirect ... Signed-off-by: dependabot[bot] <[email protected]>
Merge pull request #1227 from aiken-lang/dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-13
chore(deps): bump DeterminateSystems/magic-nix-cache-action from 1 to 13
Merge pull request #1226 from aiken-lang/dependabot/github_actions/actions/setup-node-6
chore(deps): bump actions/setup-node from 4 to 6
Merge pull request #1222 from aiken-lang/dependabot/npm_and_yarn/examples/gift_card/js-yaml-4.1.1
chore(deps-dev): bump js-yaml from 4.1.0 to 4.1.1 in /examples/gift_card
handle pointfree pairs & improve error reporting on arity mismatch when using Pairs
Fixes #1187. Signed-off-by: KtorZ <[email protected]>
Merge pull request #1216 from aiken-lang/fixes-1198
Forbid inspection of MillerLoopResults via tracing