program halt-checker
will-halt(prgm): boolean
// hypothetical logic to test if prgm would halt in a finite amount of time
end
end
program fuckery
check(prgm): void
if halt-checker.will-halt(prgm)
loop infinity
else
exit
end
end
end
fuckery.check(fuckery) // 😲
-
Notifications
You must be signed in to change notification settings - Fork 0
Config files for my GitHub profile.
cvanloo/cvanloo
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Config files for my GitHub profile.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published