RT @orderwithchaos: Books on algorithms in functional programming/languages: https://t.co/LTUZgW1Z8C (free, Isabelle) https://t.co/gul6V…
3,350 followers
489 followers
RT @orderwithchaos: Books on algorithms in functional programming/languages: https://t.co/LTUZgW1Z8C (free, Isabelle) https://t.co/gul6V…
591 followers
RT @orderwithchaos: Books on algorithms in functional programming/languages: https://t.co/LTUZgW1Z8C (free, Isabelle) https://t.co/gul6V…
3,736 followers
RT @orderwithchaos: Books on algorithms in functional programming/languages: https://t.co/LTUZgW1Z8C (free, Isabelle) https://t.co/gul6V…