A tutorial implementation of a dependently typed lambda calculus (2001) [pdf]andres-loeh.de2 points·by pyautogui·4 tahun yang lalu·0 comments
pyautogui·4 tahun yang lalu·discussHardly: erotica is, at least by my definition, textual porn that semantically arouses. This is very clearly visual porn, though it may be textual.
pyautogui·4 tahun yang lalu·discussFacinating article! I wonder how it would compare to, say, the PDP-8/E.