Closed MarisaKirisame closed 7 years ago
Currently the refactor need to rewrite ~5K line of code. So it might be a good idea to just rewrite it. Choice: Coq/Haskell/Idris.
Currently the refactor need to rewrite ~5K line of code. So it might be a good idea to just rewrite it. Choice: Coq/Haskell/Idris.