msyds/rlp
1
0 Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

rm Rename

Browse Source
This commit is contained in:
crumbtoo committed 2023-12-12 18:06:17 -07:00
1 parent a65ae0bd52
commit 70e0746932
1 file changed
-11
Download Patch File Download Diff File Expand all files Collapse all files
src/Core/Rename.hs
-11
View File
@@ -1,11 +0,0 @@
module Core.Rename
( renameCore
)
where
----------------------------------------------------------------------------------
import Core.Syntax
----------------------------------------------------------------------------------
renameCore :: Program Name -> Program Unique
renameCore = undefined