Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
concordium
smart-contract-interactions
Repository
e174d7489c1f37fed35273be2e1a686be174f732
Switch branch/tag
smart-contract-interactions
src
Oak.v
Find file
Blame
History
Permalink
Use of_list for constructing sets/maps in examples
· e174d748
Jakob Botsch Nielsen
authored
Mar 10, 2019
e174d748
Jakob Botsch Nielsen authorede174d748