https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 3b312a4b59b774406b8dc24c7e73e14eb47481a0 authored by Tom Jack on 28 June 2019, 14:53:19 UTC
Type SELF in lambda correctly
Tip revision: 3b312a4
File Mode Size
boomerang.v -rw-r--r-- 4.3 KB
configure -rwxr-xr-x 1.2 KB
manager.v -rw-r--r-- 5.5 KB
multisig.v -rw-r--r-- 24.3 KB
return_to_sender.v -rw-r--r-- 4.3 KB
vote.v -rw-r--r-- 8.6 KB

back to top