git.iko.soy/jibb
on master help sign in
history ofa8bf207..master
compare
9e4bb53Retain full-check diagnostics and guard documented fragmentsiko 70feb07Correct the review brief after checking it against the codeClaude 0dc4ff8Brief the rest of the repository review, and map the checkerClaude e208bcbName the core's face and join rulings in the milestone 2 briefClaude f22d19dBrief the follow-up to the syntax review, and record its outcomeClaude db206b5Record Montelot's syntax decisions of 2026-11-03Claude f5939a4Print the written name in inline-decimal-sitesClaude 706e9caNote how deep the rests of a body can nestClaude 6b9ce23Test a cast after an open paren, and reword the rest's exampleClaude 138acf9Write casts and ?- arms in the canonical layoutClaude 98daa20Let a body's final line hand the rest of the body to its runeClaude b4bcb9aSay that unface keeps faces bound to a variable laterClaude ed4427cShow where unface meets S1 step 1Claude b71609dAdd unface, which strips every face from a typeClaude 16c08c8Allow type variables longer than one letterClaude