xieyuheng / mugda Star 2 Code Issues Pull requests An implementation of the mugda paper agda type-checker halting-problem mugda termination-checking Updated Jul 20, 2025 TypeScript