I hereby claim:
- I am charlesetc on github.
- I am charlesetc (https://keybase.io/charlesetc) on keybase.
- I have a public key whose fingerprint is 146C F806 71CA 1172 8974 AF99 904F D05B AACD F50E
To claim this, I am signing this object:
use "options" | |
use "path:sys/ioctl" | |
use @ioctl[None](file: I32, magic: U32, winsize: MaybePointer[Winsize]) | |
struct Winsize | |
var height: U16 = 0 | |
var width: U16 = 0 | |
new create() => None |
diff --git a/src/preproc/eqn/lex.cpp b/src/preproc/eqn/lex.cpp | |
index b6f15bd..2f2a759 100644 | |
--- a/src/preproc/eqn/lex.cpp | |
+++ b/src/preproc/eqn/lex.cpp | |
@@ -239,6 +239,25 @@ static struct builtin_def common_defs[] = { | |
{ "cdot", "type \"binary\" \\(md" }, | |
{ "cdots", "type \"inner\" { \\(md \\(md \\(md }" }, | |
{ "dollar", "$" }, | |
+ { "emdash", "\\[em]"}, | |
+ { "endash", "\\[en]"}, |
execve("/home/charles/.opam/4.02.3/bin/utop", ["utop"], [/* 62 vars */]) = 0 | |
brk(NULL) = 0xbc3000 | |
access("/etc/ld.so.preload", R_OK) = -1 ENOENT (No such file or directory) | |
open("/etc/ld.so.cache", O_RDONLY|O_CLOEXEC) = 3 | |
fstat(3, {st_mode=S_IFREG|0644, st_size=147833, ...}) = 0 | |
mmap(NULL, 147833, PROT_READ, MAP_PRIVATE, 3, 0) = 0x7f9ca06b5000 | |
close(3) = 0 | |
open("/usr/lib/libm.so.6", O_RDONLY|O_CLOEXEC) = 3 | |
read(3, "\177ELF\2\1\1\3\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0pU\0\0\0\0\0\0"..., 832) = 832 | |
fstat(3, {st_mode=S_IFREG|0755, st_size=1067376, ...}) = 0 |
😄 | |
😃 | |
😀 | |
😊 | |
☺ | |
😉 | |
😍 | |
😘 | |
😚 | |
😗 |
😄 | |
😃 | |
😀 | |
😊 | |
☺ | |
😉 | |
😍 | |
😘 | |
😚 | |
😗 |
67 | |
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | |
function hello | |
(arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, | |
arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, | |
arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, | |
arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, | |
arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, | |
arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, | |
arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, arg1, arg2, |
/* | |
A fairly complete demonstration of the features provided | |
by Easy-format. | |
*/ | |
open Easy_format; | |
let list = { | |
...list, | |
list_style: Some "list", |
#[macro_export] | |
macro_rules! then { | |
($op1:expr => $op2:expr) => { | |
Monad::bind($op1, Box::new(move |_| { | |
$op2 | |
})) | |
} | |
} | |
// Kind of like `do` notation in haskell. |
impl<T> Monad<T, Vec<T>> for Vec<T> { | |
fn returns(inside: T) -> Self { | |
vec!(inside) | |
} | |
fn bind<'a>(outside: Self, op: Box<Fn(T) -> Self + 'a>) -> S |
I hereby claim:
To claim this, I am signing this object: