search

ultra-group / skalpel

A type error slicer for Standard ML
GNU General Public License v3.0
10 stars 1 forks source link

Name of Basis structure #130

Open jpirie opened 10 years ago

jpirie commented 10 years ago

We should have some kind of name for the basis that is not usable in the user code.