Closed bandali0 closed 8 years ago
Originally reported by: Simon Hudon (Bitbucket: cipher2048, GitHub: Unknown)
... to ultimately make it possible to choose a type checker depending on need
Kamino closed and cloned this issue to unitb/literate-unitb-complete
Originally reported by: Simon Hudon (Bitbucket: cipher2048, GitHub: Unknown)
... to ultimately make it possible to choose a type checker depending on need