entzik/textmapinsert.hs

Created November 8, 2020 20:42

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/entzik/ab404d22d4eef5c2aa2a1a3f2a5ac4b4.js"></script>
Save entzik/ab404d22d4eef5c2aa2a1a3f2a5ac4b4 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

textmapinsert.hs

updatedVotes = DA.TextMap.insert option (VotingSlot with count = crtVotes.count + 1, voted = voter :: crtVotes.voted) this.votes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment