| type term = | |
| | Lam of (term -> term) | |
| | Pi of term * (term -> term) | |
| | Appl of term * term | |
| | Ann of term * term | |
| | FreeVar of int | |
| | Star | |
| | Box | |
| let unfurl lvl f = f (FreeVar lvl) |
Find out the name of the reMarkable interface, by running this command:
$ ip linkIf you don't know your other connection names, run the command, then plug the reMarkable into the computer and run the command again, it should be the new connection that shows up
Install dhclient if you don't have it
| import struct | |
| #used to quickly dump all the available commands from the executable | |
| fIn = open("PinkHour.exe","rb") | |
| fIn.seek(0xD2180) | |
| for i in range(0,164): | |
| magic = ''.join(struct.unpack("cccc",fIn.read(4))) | |
| CmdNum = struct.unpack("I",fIn.read(4))[0] | |
| argcount = struct.unpack("I",fIn.read(4))[0] | |
| print "{0:<13} | {1:<14} | {2}".format('`'+magic+'`',argcount,CmdNum) |
| ;; | |
| ;; NS CHEATSHEET | |
| ;; | |
| ;; * :require makes functions available with a namespace prefix | |
| ;; and optionally can refer functions to the current ns. | |
| ;; | |
| ;; * :import refers Java classes to the current namespace. | |
| ;; | |
| ;; * :refer-clojure affects availability of built-in (clojure.core) | |
| ;; functions. |