# Table of Contents for 3-99 Research

## Subdirectories
- [[3 ARCADE/3 ARCADE - README]]
- [[5 PhD Proposal Ideas/5 PhD Proposal Ideas - README]]
- [[6 Researching Techniques/6 Researching Techniques - README]]
- [[7 BeagleBone/7 BeagleBone - README]]
- [[8.Zotero Web Server/8.Zotero Web Server - README]]
- [[99 Getting Used to Obsidian/99 Getting Used to Obsidian - README]]
- [[Assembly/Assembly - README]]
- [[Haskell/Haskell - README]]
- [[LEAN/LEAN - README]]
- [[Rust/Rust - README]]
- [[TLA/TLA - README]]

## Files
- [[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
