TChan
71 subscribers
11 photos
47 files
225 links
atomically newTChan :: IO TChan
Download Telegram
#纸 Leibniz equality is isomorphic to Martin-Löf identity, parametrically
#纸 Trees that Grow
LambdaPi.pdf
185.5 KB
#纸 A tutorial implementation
of a dependently typed lambda calculus