danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-03-13 13:59:28

Browse Source
This commit is contained in:
Dane Sabo 2025-03-13 13:59:29 -04:00
parent 314059a413
commit a92e913fec
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
3-99 Research/3-99 Research - README.md
View File

@ -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

5
3-99 Research/MARVEL.md
View File

@ -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