Showing the halting problem’s undecidability in Agdaboarders.github.io3 points·gbacon··0 commentsOpen articleSaveView on HN