πŸ“š Cs/books/uwu
418 subscribers
198 photos
22 videos
486 files
666 links
Download Telegram
can't we hit 500 in few days
If I open a youtube channel and teach HTMX, go, linux, read philosophy there and expose Jews and blah blah things what should I name the channel
Computation by Interaction for Space-Bounded Functional Programming
https://www.ulrichschoepp.de/Docs/intml_long.pdf
Programming in Martin-LΓΆf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
Programming in Martin-LΓΆf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf