You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm interested in contribute into idris-grin. Can you add issues describing whats need to be done?
I saw this issue - grin-compiler/grin#10, but it seems as complete.
The text was updated successfully, but these errors were encountered:
Thanks for being interested. Many things need to be done, any help is welcome. We have a gitter channel, lets continue the discussion there: https://gitter.im/Grin-Development/Lobby
Hi, @andorp!
I'm interested in contribute into idris-grin. Can you add issues describing whats need to be done?
I saw this issue - grin-compiler/grin#10, but it seems as complete.
The text was updated successfully, but these errors were encountered: