Giters

rise-lang / shine

The Shine compiler for the RISE language

Home Page:https://rise-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Make sure that NatToNat implementation does not demote NatIdentifiers to NamedVars

Bastacyclop opened this issue · comments

commented

Does not apply anymore, as NatIdentifiers are NamedVars