From a92e913fecd13aec1587e38e549fb513bb874744 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 13 Mar 2025 13:59:29 -0400 Subject: [PATCH] vault backup: 2025-03-13 13:59:28 --- 3-99 Research/3-99 Research - README.md | 7 +------ 3-99 Research/MARVEL.md | 5 +++++ 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/3-99 Research/3-99 Research - README.md b/3-99 Research/3-99 Research - README.md index 5a139b089..5622ae4c1 100644 --- a/3-99 Research/3-99 Research - README.md +++ b/3-99 Research/3-99 Research - README.md @@ -14,14 +14,9 @@ - [[TLA/TLA - README]] ## Files +- [[MARVEL.md]] - [[What is Lobot?.md]] ## Summary -Based on the contents of this folder, it appears to contain a collection of notes and research materials related to various programming languages and software tools. The subdirectories organize these materials by language or topic, with each README file providing an overview of what can be found within. - -The files in this folder include: - -* [[What is Lobot?.md]], which provides an explanation of Lobot, a specification language used for setting up properties and allowable actions. -* [[3 ARCADE/3 ARCADE - README]] to [[99 Getting Used to Obsidian/99 Getting Used to Obsidian - README]], which contain various notes on different programming languages, including Haskell, LEAN, Rust, TLA, BeagleBone, Assembly, and more. Generated by llama3.2:latest diff --git a/3-99 Research/MARVEL.md b/3-99 Research/MARVEL.md index e69de29bb..f1a5f99a7 100644 --- a/3-99 Research/MARVEL.md +++ b/3-99 Research/MARVEL.md @@ -0,0 +1,5 @@ +# Executive Summary +MARVEL stands for Microreactor Applications Research Validation and Evaluation. MAREVL is an 'open-source' +microreactor design that is coming out of the Idaho National Laboratory. This 'open-source' idea is a response +to +