Labels Milestones

New Pull Request

merge OFTN version #15

Merged

weskerfoot merged 3 commits from master into master 12 years ago

Conversation 0 Commits 3 Files Changed 5

3 Commits

Author	SHA1	Message	Date
nisstyre56	0eafd96a7f	representation for type definitions with parameters	12 years ago
nisstyre56	6b33a7e318	fix more bugs	12 years ago
nisstyre56	39403648ec	fix a few bugs, functionality for aliasing type operators now works	12 years ago