QuickCheck is a language for stating properties of programs.
?FORALL(X, nat(), X*X >= 0)
folkengine
/ KeyMappings
Created
July 17, 2016 14:10
— forked from rubyonrailsworks/KeyMappings
NerdTree
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
| o.......Open files, directories and bookmarks....................|NERDTree-o| | |
| go......Open selected file, but leave cursor in the NERDTree.....|NERDTree-go| | |
| t.......Open selected node/bookmark in a new tab.................|NERDTree-t| | |
| T.......Same as 't' but keep the focus on the current tab........|NERDTree-T| | |
| i.......Open selected file in a split window.....................|NERDTree-i| | |
| gi......Same as i, but leave the cursor on the NERDTree..........|NERDTree-gi| | |
| s.......Open selected file in a new vsplit.......................|NERDTree-s| | |
| gs......Same as s, but leave the cursor on the NERDTree..........|NERDTree-gs| | |
| O.......Recursively open the selected directory..................|NERDTree-O| | |
| x.......Close the current nodes parent...........................|NERDTree-x| |
folkengine
/ eqc.md
Last active
July 22, 2016 19:33
— forked from efcasado/eqc.md
A gentle introduction to (Erlang) QuickCheck
folkengine
/ Exercises in Programming Style.md
Last active
March 26, 2024 14:56
Exercises in Programming Style
folkengine
/ protractor_getText_logging.js
Created
October 5, 2016 13:55
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
| // http://stackoverflow.com/questions/29478905/protractor-element-gettext-returns-an-object-and-not-string | |
| var eElement = element(by.id(myId)); | |
| eElement.getText().then(function (text) { | |
| console.log(text); | |
| }); |
folkengine
/ Event-driven Architecture
Last active
November 7, 2016 14:19
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
| https://app.grammarly.com/docs/117383981 | |
| https://en.wikipedia.org/wiki/Event-driven_architecture | |
| https://en.wikipedia.org/wiki/Event_stream_processing | |
| https://github.com/silentbicycle/theft | |
| https://www.schoolofhaskell.com/user/pbv/an-introduction-to-quickcheck-testing |
folkengine
/ xls_tilted_cell.py
Created
February 21, 2017 22:05
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 xlsxwriter | |
| wb = xlsxwriter.Workbook('test' + str(time.time()) + '.xlsx') | |
| ws = wb.add_worksheet() | |
| rotate = wb.add_format() | |
| rotate.set_rotation(90) | |
| ws.write(0, 0, 'Hi!', rotate) | |
| wb.close() |
folkengine
/ gist:4dec6d721c727b1a17f7c90fadb9c980
Created
May 28, 2017 00:06
— forked from tsenart/gist:5fc18c659814c078378d
HTTP Closures
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
| package main | |
| import ( | |
| "net/http" | |
| "database/sql" | |
| "fmt" | |
| "log" | |
| "os" | |
| ) |
folkengine
/ bumpme
Last active
July 22, 2017 20:45
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
| Sat Jul 22 20:44:55 UTC 2017 |