radrow 7e32ef57c2 Added contains functions in List and Option. Fixed one type error catch

2020-08-26 11:56:18 +02:00

..

aeso_aci.md

Update aeso_aci.md

2019-05-28 13:26:22 +02:00

aeso_compiler.md

Add a VERSION file at the top level and go from there

2019-03-04 12:17:54 +01:00

sophia_stdlib.md

Added contains functions in List and Option. Fixed one type error catch

2020-08-26 11:56:18 +02:00

sophia.md

Make the network id an explicit part of the signature material

2020-05-29 08:47:01 +02:00