Frege/frege-native-gen

repository name

Closed this issue · 1 comments

@mmhelloworld I think this repo should be renamed to be consistent with the other repos. My suggestion is frege-native-gen.

Sounds good. I have renamed it.