https://gitlab.com/nomadic-labs/mi-cho-coq
Revision 3993c1c478ddc13a8c38255f4d9e6926daff391e authored by Guillaume Claret on 23 October 2019, 12:45:53 UTC, committed by Raphaël Cauderlier on 06 November 2019, 15:48:00 UTC
1 parent d18aeba
History
Tip revision: 3993c1c478ddc13a8c38255f4d9e6926daff391e authored by Guillaume Claret on 23 October 2019, 12:45:53 UTC
Add a let! notation for the bind
Tip revision: 3993c1c

back to top