StoryNote
Log in
|
Sign up
/u/Least_Cry_2504's posts
Year:
All
2024
Show search filters
Search by title:
Hide posts already read
Only show posts with narrations
How strong is CoC(Calculus of constructions,the language under which the Loader function is supposedly diagonalized)
3 upvotes
•
r/googology
Mark as read:
--
10
9
8
7
6
5
4
3
2
1
0
Add to a list
Title
Upvotes
Subreddit
Mark as read
Favorited
Rating
Add to a list
How strong is CoC(Calculus of constructions,the language under which the Loader function is supposedly diagonalized)
3
googology
--
10
9
8
7
6
5
4
3
2
1
0
«
<
>
»
Page
of 1
Go
StoryNote