3 Commits

Author	SHA1	Message	Date
Sergey Pepyakin	331b730bac	Replace unwrap with expect with a proof	2019-07-03 15:20:58 +02:00
Sergey Pepyakin	9f4cc26c02	Results and polishing.	2019-07-03 14:00:02 +02:00
Sergey Pepyakin	a0776876c1	Guard with feature.	2019-07-03 13:24:52 +02:00