commit log
- Bake Typed Jerboa Rust staticlib into jerboa-bin 34000b2 ober
- Emit explicit per-module use declarations in typed Rust de4279a ober
- Update typed-jerboa doc for per-module file layout 1fca5aa ober
- Split typed Rust crate into per-module files a01b132 ober
- Emit inline source comments inside Typed Jerboa Rust bodies f1f3ad6 ober
- Emit Typed Jerboa source-span comments in Rust output 0d267a6 ober
- Add Typed Jerboa property/fuzz test suite e387c75 ober
- Lower Typed Jerboa borrows as Rust references 9ca49e3 ober
- Surface Typed Jerboa Rust panics as Scheme errors 1669681 ober
- Lower (Result <buffer> <*>) and (Result <*> <buffer>) directly 7407c84 ober
- Lower (Option Buffer) directly across the Typed Jerboa boundary 535bc34 ober
- Lower (Result Scalar Scalar) directly across the Typed Jerboa boundary fed5d2d ober
- Lower (Option Scalar) directly across the Typed Jerboa boundary 42f7633 ober
- Lower Typed Jerboa import-resolved modules to Rust cbaa5ec ober
- Resolve Typed Jerboa imports in the checker 65d4ac9 ober
- Parse Typed Jerboa (import ...) clause dcea999 ober
- Lower Typed Jerboa via core IR in Rust emitter e62bc71 ober
- Elaborate Typed Jerboa def bodies into core IR b8e1b61 ober
- Define Typed Jerboa core IR module cfddd7f ober
- Preserve Typed Jerboa expression sources b5bf43d ober
- Preserve Typed Jerboa declaration sources 064516b ober
- Preserve Typed Jerboa module source 08c973c ober
- Lower Typed Jerboa debug strings e9f9a9a ober
- Check Typed Jerboa equality aade672 ober
- Document portable limits primitives b96df29 ober
- Reap generated typed handles 9cc2995 ober
- Pass Typed Jerboa options as handles 34be27f ober
- Lower Typed Jerboa option results to Rust 9c3d490 ober
- Check Typed Jerboa option results dc3897f ober
- Allow Typed Jerboa owned borrows cb4bb8e ober
- Check Typed Jerboa owned moves c15496f ober
- Parse Typed Jerboa resource types a0ccc11 ober
- Check Typed Jerboa effect calls e0c9ce9 ober
- Parse Typed Jerboa effect annotations 6044c16 ober
- Test typed handle stale drops dcc881e ober
- Run typed wrappers before Jerboa callers 9fa3693 ober
- Call typed split tree from Jerboa 3d50adb ober
- Clone Typed Jerboa Rust call args 623cdb5 ober
- Compare typed split-tree with dynamic reference 64b8b65 ober
- Expand Typed Jerboa split-tree operations f0a5303 ober
- Add Typed Jerboa split-tree flatten e6428d1 ober
- Support recursive Typed Jerboa matches e55ad68 ober
- Add Typed Jerboa split-tree smoke 34e1f4a ober
- Add Typed Jerboa handle drops 2230b76 ober
- Support Typed Jerboa string returns 2d1d97d ober
- Support Typed Jerboa record handles 72a8415 ober
- Catch Typed Jerboa Rust ABI panics 60aa985 ober
- Test Typed Jerboa wrapper boundary checks 0a98e22 ober
- Support Typed Jerboa bytes inputs 7c3b017 ober
- Support Typed Jerboa string inputs f79869d ober