Crate truemoji_core

Truemoji Core

This library contains the core specification and implementation of the Truemoji language, which is a language for describing propositional logic. TLDR: I replaced the propositional logic operators with emojis!

Truemoji Language Specification

<iff> := <implies> 🤝 <iff> | <implies>
<implies> := <or> 👉 <iff> | <or>
<or> := <and> 🙌 <or> | <and>
<and> := <not> 👏 <and> | <not>
<not> := 🚫 <formula> | <formula>
<formula> := [A-Za-z0-9] | 👍 | 👎 | 😮 <iff> 😶

Resources Consulted

• https://adriann.github.io/rust_parser.html
• https://createlang.rs/01_calculator/ast.html
• https://pages.cs.wisc.edu/~fischer/cs536.s08/course.hold/html/NOTES/3.CFG.html#exp

Crate Contents

This crate implements a lexer, parser, and abstract syntax tree (AST) for the Truemoji language. The truth values for ASTs can be evaluated as long as each formula has an boolean value associated with it.

Modules

ast

Provides a structure for the abstract syntax tree (AST) for the Truemoji language.

lex

Provides functionality to lex input into Truemoji language tokens.

parse

Provides functionality to convert Truemoji language tokens into an abstract syntax tree (AST).