logicaffeine-compile 0.9.13

LOGOS compilation pipeline - codegen and interpreter
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# Standard Library

The LOGOS standard library provides core types and utilities for all programs.

## Definition

A Unit is a record.

A Pair of [A] and [B] has:
    a first, which is A.
    a second, which is B.

A Triple of [A] and [B] and [C] has:
    a first, which is A.
    a second, which is B.
    a third, which is C.