liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

note

澪 8ac070f5 e7a64545

+1
+1
src/HOTerm.res
··· 334 334 // flex-rigid 335 335 | (Schematic({schematic, allowed}), Symbol(_) | Var(_)) => 336 336 if ( 337 + // TODO: is this check strong enough to prevent cycles? do we need to check more 337 338 !Belt.Set.has(schematicsIn(bt), schematic) && 338 339 Belt.Set.subset(freeVarsIn(bt), Belt.Set.fromArray(allowed, ~id=module(IntCmp))) 339 340 ) {