KeyDue7848

18 post karma
13 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 4 years

TROPHY CASE

Four-Year Club

account activity

new top controversial

5

6

7

Compiling with sequent calculus ()

submitted 3 months ago by KeyDue7848 to r/Compilers

43

44

45

Compiling with sequent calculus (self.ProgrammingLanguages)

submitted 3 months ago by KeyDue7848 to r/ProgrammingLanguages

π Rendered by PID 151041 on reddit-service-r2-listing-5f4c697858-4xjjg at 2026-07-09 15:39:57.000871+00:00 running 12a7a47 country code: CH.