This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
---- MODULE name ---- | |
EXTENDS \* whatever | |
Expected(inout) ==* ... | |
Helpers == \* ... | |
(*--algorithm name | |
variables | |
inut \in \* ... |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Ember from 'ember'; | |
export default Ember.Component.extend({ | |
model: null, | |
}); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
Demo of wrong-import-position | |
""" | |
from __future__ import ( | |
absolute_import, | |
division, | |
print_function, | |
unicode_literals, | |
) | |
from future import standard_library |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class SearchForm(forms.Form): | |
""" | |
Search for users. | |
""" | |
# Search fields. | |
first_name = forms.CharField() | |
last_name = forms.CharField() | |
email = forms.CharField() | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
def __eq__(self, other): | |
return isinstance(other, self.__class__) and self._get_pk_val() == other._get_pk_val() |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
wget http://iobin.suspended-chord.info/linux/iobin-linux-x86-deb-current.zip | |
unzip iobin-linux-x86-deb-current.zip | |
sudo dpkg -i IoLanguage-2012.03.02-Linux-x86.deb |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
function hello_world() {return "Hello, world!";} | |
exports.hello_world = hello_world; |