search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

compiler: individuate the types of function names in core #273

Closed vjackson725 closed 5 years ago

vjackson725 commented 5 years ago

Individuate core function names from String. This will eventually lead into type level checking of generated Isabelle names, to make sure they don't start or end with _.