You are viewing a single comment's thread from:
RE: Variable definitions with Integer / Idris 4
Congratulations @qed! You have completed some achievement on Steemit and have been rewarded with new badge(s) :
Award for the number of comments
Click on any badge to view your own Board of Honor on SteemitBoard.
For more information about SteemitBoard, click here
If you no longer want to receive notifications, reply to this comment with the word STOP
By upvoting this notification, you can help all Steemit users. Learn how here!
Okay steemitboard, the reply must start with an @, followed by just a username.