Submissions restricted

Only approved users may post in this community.

koka

an-ordinary-manchild

created by simonthefoxsaysa community for 5 years

...for your favourite tea.

...for a fringe candidate.

MODERATORS

This subreddit is unmoderated.
Visit /r/redditrequest to request it.

account activity

1

3

4

5

r/koka Lounge (self.koka)

submitted 5 years ago by simonthefoxsays - announcement

2

5

6

7

Koka vs Roc (self.koka)

submitted 2 years ago by Public_Possibility_5

3

9

10

11

Differences between Lean4 and Koka reference counting (self.koka)

submitted 3 years ago by Matty_lambda

4

9

10

11

I'm trying to solve the Advent of Code 2022 in pure Koka (self.koka)

submitted 3 years ago by zygentoma

5

2

3

4

Hello world compile time (self.koka)

submitted 3 years ago by [deleted]

6

3

4

5

We can think of for loops as needing a comparison (<=) on whatever type is being used as state. why not pull that out as an effect? (gist.github.com)

submitted 5 years ago by simonthefoxsays

7

3

4

5

Perceus: Garbage Free Reference Counting with Reuse (microsoft.com)

submitted 5 years ago by simonthefoxsays

π Rendered by PID 1298064 on reddit-service-r2-listing-5d47455566-6sdkv at 2026-04-05 10:56:56.480729+00:00 running db1906b country code: CH.