search

quangis / transforge

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
GNU General Public License v3.0
2 stars 0 forks source link

Dedicated errors #97

Closed nsbgn closed 2 years ago

nsbgn commented 2 years ago

I didn't make proper error classes.