Andreas 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:

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

	// 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),

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

	T Bit
	\| z
	\| o

	T Byte

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

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