be5invis

// data types
type[T] Point {
    data x : T
    data y : T
}

type IntPoint = Point[Integer]

// complex concepts
type[T <= Differable] DifferenceOf {

be5invis

// noprotect
function Lambda(param, body, e){
	this.param = param
	this.body = body
	this.env = e
};
Lambda.prototype.apply = function(t, args, k0){
	var e_ = Object.create(this.env);
	for(var j = 0; j < this.param.length; j++){
		e_[this.param[j]] = args[j];

be5invis

COMPRESSED BIN JSON

document = stringtable ctortable value
stringtable = length string*length
ctortable = length constructor*length
constructor = 
	F0-FF value // Internal constructor
	00 key      // External constructor

value = 

be5invis

/***** PATCHES *****/
.monaco-workbench.hc-black { color: #FFF; background-color: #000; }
.monaco-workbench.hc-black .sidebar .separator 	{ background-color: #000; border: 1px solid #6FC3DF; }
.monaco-workbench.hc-black input,
.monaco-workbench.hc-black textarea {
	background-color: #000;
}
.monaco-workbench.hc-black .monaco-action-bar .action-item.disabled .action-label.disabled,
.monaco-workbench.hc-black .monaco-action-bar .action-item.disabled .action-label.disabled:hover {
	opacity: 1;

be5invis

[-- article --]
[title] Article Title
[arthur] be5invis
[summary] This is the summary of the article

[section] Section One
	This is a paragraph.
	
	This is another.
	[figure 1] The Sample Image of The Storage Method.

be5invis

<div id="example">
	<test v-bind:type=type v-bind:a="a" v-bind:b="b"></test>
</div>

be5invis

declare-glyph "a.singlestorey" : begin
	rhythm {blank curve blank} {blank straight blank}
	include : OBarRightShape
	include : VBarRight ([rhythm.right.middle] <> 0) xheight

declare-glyph "a" [unicode-of "a"] : begin
	include : glyph : "a" + parameters.variantSelector.a

be5invis

typedef uint16_t glyphid_t;
typedef uint16_t shapeid_t;
typedef int16_t sshapeid_t;
typedef struct {...} position_t;

typedef struct CTF1Point {
    position_t x;
    position_t y;
} CTF1Point;

be5invis

module jlos

	import Base.getindex
	import Base.colon
	import Base.(-)
	import Base.(<<)

	export endl, @method, Message

	function <<{T <: IO, X}(io::T, x::X)::T

be5invis

#include "math.h"
#include "idris_rts.h"
#include "idris_bitstring.h"
#include "idris_stdfgn.h"
void _idris_assert_95_unreachable(VM*, VAL*);
void _idris_call_95__95_IO(VM*, VAL*);
void _idris_io_95_bind(VM*, VAL*);
void _idris_io_95_pure(VM*, VAL*);
void _idris_Main_46_main(VM*, VAL*);
void _idris_mkForeignPrim(VM*, VAL*);