search

ianagbip1oti / ProC

Hawt new programming language
MIT License
4 stars 0 forks source link

Refactor #58

Closed ianagbip1oti closed 6 years ago

ianagbip1oti commented 6 years ago

This removes the use of DataKinds. This loses a little bit of type safety, but loses a lot of complexity too.

coveralls commented 6 years ago

Coverage Status

Coverage increased (+2.8%) to 67.949% when pulling 301160337348f6f1ae768612ce2de5217e56f83d on lang_refactor into 4709ee12adbfbca4d46f5dc31524597ac74c5d74 on master.