developedby

########################################
# Authors:
#  - Arthur M Passos, 2024 (original implementation)
#  - Nicolas Abril, 2024 (n³ implementation)
########################################
# Matrix Multiplication using Bend's default recursive Lists type;
# 
# Matrices are encoded as a List of Lists of Numbers.
# Multiplication is calculated as the row dot products of
# the first matrix with the transpose of the second matrix.

developedby

use clap::{CommandFactory, FromArgMatches, Id};

#[derive(clap::Parser, Debug)]
#[command()]
struct Args {
    #[command(flatten)]
    opts: Opts,
}

#[derive(clap::Args, Debug)]

developedby

Some = λx λs λn (s x)
None =    λs λn n

Tie = λval λlft λrgt λtie λnew (tie val lft rgt)
New =                λtie λnew new

BitO = λx λo λi λe (o x)
BitI = λx λo λi λe (i x)
BitE =    λo λi λe e

developedby

Writing and deploying programs for the Kindelia network

This guide will provide a short overview on how to write programs that can work on the kindelia network, how to deploy them and how to interact with them after they have been installed on the network.

It doesn't cover instructions on installing the required tools, which can be found on the respective repositories, nor does it provide and in-depth explanation of each of the components. It is recommended to first read the Kindelia network whitepaper to have a basic understanding of how it works.

After reading this, you'll have the required information to be able to write, deploy and use a simple kindelia contract. More complex examples may require some special considerations, but the fundamentals would be the same.

developedby

// Piece.equal (a: (Piece)) (b: (Piece)) : (Bool)
(Piece.equal (Piece.o) (Piece.o)) = (Bool.true)
(Piece.equal (Piece.x) (Piece.x)) = (Bool.true)
(Piece.equal (Piece.o) (Piece.x)) = (Bool.false)
(Piece.equal (Piece.x) (Piece.o)) = (Bool.false)

// Piece.show (piece: (Piece)) : (String)
(Piece.show (Piece.o)) = "O"
(Piece.show (Piece.x)) = "X"

developedby

Repository : Solus

0ad                                         - 0 A.D. is a free, open-source, cross-platform real-time strategy game of ancient warfare 
0ad-data                                    - Cross-platform, 3D and historically-based real-time strategy game (data files) 
0ad-dbginfo                                 - Debug symbols for 0ad 
CGAL                                        - Computational Geometry Algorithms Library 
CGAL-devel                                  - Development files for CGAL 
ETL                                         - Multi-platform class and template library 
OTPClient                                   - Highly secure and easy to use OTP client written in C/GTK that supports both TOTP and HOTP 
OTPClient-dbginfo                           - Debug symbols for OTPClient