3 ms·
You are right, all the last 3 lines should be aligned max to the left. We'll fix that soon on new website!
by wdanilo 9y ago
You are right, all the last 3 lines should be aligned max to the left. We'll fix that soon on new website!
- shalabhc 9y agoAnother thing, this example wouldn't type check unless it is verifiably a list of non blank strings: print [s for s in lst if s.head != '_'] The section about dependent typing says `lst.head` would be a compile time error in some cases.