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

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

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

stoand

// npm i -g formality-lang@0.1.228
// 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

// USES OLDER VERSION OF FORMALITY
// 
// npm i -g formality-lang@0.1.200
// fm -t ByteFusion/main; fm -o ByteFusion/main

T Bit
| z
| o

T Byte