Project Activity Summary Project Web Page General Homepage

Status of open tickets

Milestone: Active

No Milestones are set for this category

Milestone: Soon to be started

No Milestones are set for this category


Project Activity Stats


Active users

Latest Commits

2023-04-25 15:05
Hg: 94826550df639fb5aa19
2023-04-25 14:29
Hg: 014c996c662aa3043263
2023-04-23 19:42
Hg: 2ea1a76343730916d9a7
2023-04-23 19:28
Hg: 62e5f182b9a8de4d8bc2
2023-04-23 19:03
Hg: 3b86d0f710d4262637aa

Latest Tickets

2023-05-25 01:24
Check fun type just after deref
2023-05-25 01:22
Kont_tag.shift does not cut tail traces just after reset
2023-05-18 21:49
semantics by term rewriting
2023-04-22 12:35
org.kink_lang.kink.hostfun.graph.impl is linked from org.kink_lang.kink.hostfun.graph. Appears to be a javadoc bug. S...
2023-04-17 21:12
Is it acceptable that Kink code can see non-exported classes?

Project Reviews

No Data

Software Map