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
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
I am planning to participate in Advent of Code this year in Dafny and I have built a template for AoC problems in Dafny that I want to share.
https://github.com/hath995/Dafny-AoC-template
https://www.reddit.com/r/adventofcode/comments/180dpyf/advent_of_code_template_for_dafny_lang/
Beta Was this translation helpful? Give feedback.
All reactions