Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

!
%
&&
&&&
*
+
-
/
<
<<
<=
==
=>
>
>=
>>
@interaction
@publicly!
@verifiably!
^^^
A programming language for DApps
Active Adversaries
All code is fragile
All code is public
assert!
Basic Syntax
Bitwise Integer Operations
Bool
Booleans and Equality
Building Trust
Buying a Signature
Byte Strings
Bytes
Can you quickly sum-up the benefits of Glow?
Closing Agreement
Coin Flip Game
Commenting your code
Compound Data Types and Switch Patterns
Conceptual Basis
Conditionals
Correctness of the Glow implementation
DApps: A Narrow Domain Fit for a DSL
DApps: Creating Trust Between Participants
DApps: The Very Hardest Programs To Write!
DApps: What it is not
data
Datatypes
Definitions
Deploying the DApp
deposit!
digest
Digest
Digests and Signatures
Do I have to install other languages or modules to use Glow?
Do you directly generate EVM bytecode?
Does Glow compile DApps into client programs?
Does Glow compile DApps into smart contracts?
Does Glow compile files?
Does Glow generate any file on a participant’s machine?
Does Glow work on the EVM?
Easy Install for Developers
Easy Install for End-Users
Easy Install Using Docker
Environments
false
Function Definition Syntax
Function Definitions
Fundamentals: Hello world!
Generating a document digest for the DApp
Getting started
Gitlab repo
Glow
glow
Glow DApps Supported
Glow Explanation
Glow FAQ
Glow How-To
Glow Language Grammar
Glow Reference Manual
Glow Tutorial
Glow’s predecessor
How are you generating JavaScript?
How do I ... ?
How do I run a .glow interaction from my programming language?
How Glow?
How to Get Help about Glow
How to Install Glow
How to Write or Use Custom DApps
if
Install Glow the hard way on other systems (levels 3 and 4)
Install Glow with only one command line
Installing the Hard way
Int
Integer Arithmetic
Integer Comparisons
Integer Literals
Integers
Integers with Negatives and BigInts
Interacting with the DApp
Interaction Definitions
Interaction Effects
Intro
Intro
Is Glow a platform? A language? Both?
Is Glow Free Software?
Is Glow Turing-Complete?
Is there a Glow library for NFTs? for ERC20 contracts?
isValidSignature
Language Overview
let
Level 1: I am new to computer programming
Level 2: I can make standard apps
Level 3: I can make DApps, and want to make my own smart-contracts
Level 4: I want to help develop Glow and understand all the details
Logical Invariants
More information
Naming objects in Glow
Nat
Near-Future Plans
Official pages and documents
Our history
publish!
rec
Record Types
Recursive Functions
require!
Rock Paper Scissors Game
Scoping
Security properties we will prove about interactions written in Glow
Setting up identities to run the DApp
sign
Signature
Simplified install on Linux or macOS
Specifying Application Invariants
Statement-Block Expressions
Static Safety Analyses
switch
Syntax: No Surprises
Team and license
The #lang glow line
true
Trying it out with Docker (levels 3 and 4)
type
Unit
Unit and Tuple Types
Use Glow in any browser
Use Glow locally on Linux and macOS
Usual reasoning techniques are lacking
Value Definitions
verify!
What are Generalized State Channels?
What blockchains does Glow run on?
What can I do with Glow?
What does a typical Glow interaction look like?
What does an agreement execution look like?
What does holding accountable look like?
What does reaching an agreement look like?
What Glow can and can’t do
What Glow?
What interactions are included in Glow’s standard library?
What is Glow for?
What is the product of Glow?
What will it take to support another blockchain?
What will it take to support another EVM blockchain?
What will it take to support another smart-contract blockchain?
What will it take to support Bitcoin?
When Glow?
Why Glow?
Why use Glow?
Will Glow allow me to make a full DApp from scratch?
Will the .glow files I write today be compatible with the next versions of Glow?
Will your contracts be certified by Etherscan or otherwise self-certifying?
withdraw!
Writing the DApp
Zero tolerance to bug
||
|||
~~~