Rushi Shah 2016rshah
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
| ;; Don't forget to | |
| ;; - update to latest version of emacs, mac osx default is super old | |
| ;; - go to terminal preferences and use option key as meta or something like that | |
| ;; https://melpa.org/#/getting-started | |
| (require 'package) | |
| (let* ((no-ssl (and (memq system-type '(windows-nt ms-dos)) | |
| (not (gnutls-available-p)))) | |
| (proto (if no-ssl "http" "https"))) |
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
| (declare-rel inv (Int)) | |
| (declare-var x0 Int) | |
| (declare-var x1 Int) | |
| (declare-rel fail ()) | |
| (rule (=> (= x0 10) (inv x0))) | |
| (rule (=> (and (inv x0) (= x1 (+ x0 x0))) (inv x1))) | |
| (rule (=> |
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
| Instructions for running code from Microsoft Outlook | |
| Enable the developer tab in the Outlook ribbon | |
| File -> Options -> Customize Ribbon -> Developer -> Add | |
| Enable macros | |
| Developer tab -> Macro Security -> Macro Settings -> Enable all macros | |
| Open the developer editor | |
| Developer tab -> Visual Basic | |
| Start/open the macro file | |
| Project1 -> Microsoft Outlook Objects -> ThisOutlookSession | |
| Copy and paste the code from github |
OlderNewer