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.

forgot to disable github copilot

澪 bf2b9979 ddc5946f

+1 -1
+1 -1
src/HOTerm.res
··· 352 352 if ( 353 353 gen->Option.isNone || 354 354 map->Array.find(v => v->Option.isNone)->Option.isSome || 355 - set->Belt.Set.size < allowed->Array.length 355 + set->Belt.Set.size < map->Array.length 356 356 ) { 357 357 None 358 358 } else {