Why is dependent type theory more suitable than set theory for proof assistants?mathoverflow.net·221 pts·pgustafs·59
Show HN: Toy Haskell blockchain with variable hash functions for ASIC resistancegithub.com·15 pts·pgustafs·7