more....
<theory> A term from lambda-calculus for beta reduction or beta abstraction.
(1999-01-15)
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)