Paul Cadman paulcadman

<title>Rust 1.0</title> <style> @import url(http://fonts.googleapis.com/css?family=Fira+Sans:400,600,400italic); @import url(https://fonts.googleapis.com/css?family=Fira+Mono:400,700,400italic); body { font-family: 'Fira Sans'; } h1, h2, h3 {

Types are theorems, programs are proofs.

(The code examples here use idris https://www.idris-lang.org)

To augment testing with a finite number of inputs we write mathematical proofs that demonstrate their correctness on all possible inputs.

The programmer writes the proofs and the compiler checks the proofs as it builds the software.

Types are theorems, programs are proofs.

(The code examples here use idris https://www.idris-lang.org)

To augment testing with a finite number of inputs we write mathematical proofs that demonstrate their correctness on all possible inputs.

The programmer writes the proofs and the compiler checks the proofs as it builds the software.

Remote dependencies proposal

This document describes a proposal to add support for remote dependencies to the juvix build tool.

Current dependencies support

Juvix projects can currently depend on other Juvix projects that are stored on the local file system using the dependencies field in the project's juvix.yaml file:

	Search Bar*
	Inactive*
	focus -> Active
	Active
	Loaded*
	cancel -> Inactive
	type -> Text Entry

	Empty*
	submit -> Error

	enum Feature<T: Decodable>: Decodable {
	case disabled
	case enabled(configuration: T)

	init(from decoder: Decoder) throws {
	if let _ = try? EmptyObject.init(from: decoder) {
	self = .disabled
	return
	}

	import Foundation

	struct BasketItem {
	var name: String
	var price: Price
	}

	extension BasketItem: CustomStringConvertible {
	var description: String {
	return "Item \(self.name) \(self.price)"

	Number Form*

	Invalid*
	select number -> Valid

	Valid
	submit -> Submitting
	clear -> Invalid

	Submitting