Skip to content

Instantly share code, notes, and snippets.

use clap::{CommandFactory, FromArgMatches, Id};
#[derive(clap::Parser, Debug)]
#[command()]
struct Args {
#[command(flatten)]
opts: Opts,
}
#[derive(clap::Args, Debug)]
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

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
developedby / ttt.hvm
Created November 3, 2022 13:50
CLI Tictactoe for HVM
// 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"
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