[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Friends and colleagues,
As many of you know, Software Foundations
(http://www.cis.upenn.edu/~bcpierce/sf/) is a electronic textbook introducing
functional programming, Coq proof development, and the theory of programming
languages, written entirely in Coq. It has been developed over the past five
years by a large group of contributors and is widely used for both teaching and
self-study.
Today, I am delighted to announce that, thanks to a dedicated team of
translators, Software Foundations can now be read in Japanese!
http://proofcafe.org/sf
Many thanks to the translation team for this effort!
- Akihiro Umemura
- Koji Katayama
- Hiroki Mizuno
- Daichi Oohashi
- Moe Masuko
- Yoshihiro Imai
Share and enjoy,
- Benjamin
