robrix

⚆︗⨀
⚆‿⨀
⚆␣⨀
⚆˾⨀
⚆⫎⨀
⚆⩌⨀

robrix

__attribute__((format_arg(__NSString__, 2)))
NSString *ಠ_ಠ_message(const char *severity, const char *format) {
	return [NSString stringWithFormat:@"%s: %s", severity, format];
}
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wformat-nonliteral"
__attribute__((format(printf, 1, 2)))
void ಠ_ಠ_warning(const char *format, ...) {
	va_list ಠ_ಠ;
	va_start(ಠ_ಠ, format);

robrix

My life's yours, love
That's why you'll find, somebody's on my mind
Wants the world to know
And my hair ain't curled

But youre so mean to me, baby, I know youre gonna drive me away
Some call me honey
Like an old sweet song, 'The Lasting Time'
Some tell me "Billie,

robrix

// cc autotes.m -o autotes -framework Foundation -fobjc-arc && ./autotes
#import <Foundation/Foundation.h>

// use it like lambda(…args…)(…return value…)
#define lambda(...) \
	^(__VA_ARGS__) _lambda_body

#define _lambda_body(...) \
	{ return __VA_ARGS__; }

robrix

((w ord))
((w) (ord))
((word))
((wo rd))
((w o rd))
((w o r d))
((w o r) (d))
((w o) (rd))
((w o) (r d))
((wo) (rd))

robrix

#include <stdio.h>

int main(int argc, char *argv[]) {
	int i = 10;
	while (i \
	          \
	           \
	            \
	             --> 0) { printf("%i\n", i); }
	return EXIT_SUCCESS;

robrix

Interpreting δ as the least fixed point of the nullability equations, ascending from ⊥ = false.

Given S → ϵ ∪ S,

The zeroth iteration is ⊥:

δ⁰(S) = ⊥ = false

The first is computed:

robrix

Interpreting parseNull as the least fixed point of the parse null equations, ascending from ⊥ = {}

Given S → ϵ↓{x} ∪ S,

The zeroth iteration is ⊥:

parseNull⁰(S) = ⊥ = {}

The first is computed:

robrix

a	b	a && b
👎	👎	👎
👍	👎	👎
👎	👍	👎
👍	👍	👍

robrix

a	b	a && b
👎	👎	👎
👍	👎	👎
👎	👍	👎
👍	👍	👍