Text this: Formalisasi syariat Islam dalam perspektif Tata Hukum Indonesia