HK

Show HN: A logic system where inference and operators emerge only from recursion | Heykuki News