stoand

// USES OLDER VERSION OF FORMALITY
// 
// npm i -g [email protected]
// fm -t ByteFusion/main; fm -o ByteFusion/main

T Bit
| z
| o

T Byte

stoand

// npm i -g [email protected]
// fm -t ByteFusion2/main && fm -o ByteFusion2/main

// INats serve as the base for fused iteration

// The inductive hypothesis on nats. Erases to Church.
INat : Type
  ${self}
  ( P     : INat -> Type;
    izero : P(izero),

stoand

# Install: https://github.com/BurntSushi/ripgrep#installation

# Use ripgrep instead of grep
set-option global grepcmd 'rg -Hn --no-heading'

stoand

Programming the TinyFPGA while inside Windows Subsystem for Linux 2 (WSL2)

Setup (in Windows):

• Install Python with update path enabled
• in powershell: pip install tinyprog then wsl --shutdown then open WSL2 again

Programming (in WSL2)

Don't forget to press the reset button on the fpga before programming

stoand

If you attempt to dir.walk on a fs.openDir without setting .{ .iterable = true } in fs.openDir you will get the error:

thread 42910 panic: reached unreachable code
/home/user/.zig/lib/std/posix.zig:5170:18: 0x14f21c9 in lseek_SET (build)
        .BADF => unreachable, // always a race condition

Wrong Code: