Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy.
Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.
License
GNU General Public License version 2.0 (GPLv2)Follow Freude
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Freude!