Finch
Copyright(c) Leon Vatthauer 2026
LicenseGPL-3
MaintainerLeon Vatthauer <leon.vatthauer@fau.de>
Stabilityexperimental
Portabilitynon-portable (ghc-wasm-meta)
Safe HaskellNone
LanguageGHC2024

Specification.Prop

Description

This module provides the specification of propositional logic, i.e. its operators, rules and some examples.

Synopsis

Documentation

operatorsProp :: [(Text, Text, Int)] Source #

Operators of propositional logic.

Each entry is a triple (alias, operator, arity), where alias is ASCII text the parser also accepts and the operator is usually a unicode symbol.

rulesProp :: [(Text, RuleSpec)] Source #

The standard Fitch-style natural deduction rules for propositional logic.

exampleProofsProp :: [(Text, Proof)] Source #

A list of example Proofs shown in the sidebar, each paired with a display name.

initialModelProp Source #

Arguments

:: URI

The current URI of the application.

-> Maybe Proof

An optional Proof decoded from the URL; falls back to the first example proof.

-> Maybe Bool

Initial state of onMobile

-> Bool

Possibly a previous sidebarToggle state.

-> Model 

Constructs the initial Model for propositional logic.