Skip to content
This repository has been archived by the owner on Feb 7, 2019. It is now read-only.

[WIP] another parametric trait attempt #18

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

tonyhffong
Copy link
Collaborator

This is a continuation of our earlier attempt on traits. #4

@tonyhffong
Copy link
Collaborator Author

The istrait() function is not working well for parametric yet.

@mauro3
Copy link
Owner

mauro3 commented Jul 11, 2015

Thanks for the update. Does this mean that #4 can be closed? Also, maybe have a brief look at #19, which is the work I'm doing at the moment.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants