أرسل هذا في رسالة قصيرة: A Reflective Functional Language for Hardware Design and Theorem Proving