Repository navigation

Optimize facts - #22

Open

laurenthuberdeau wants to merge 7 commits into

laurent/optimizations

Commits on Feb 23, 2022

Add strictness annotations
Laurent
committed
c950e88
Optimize case where rules are all facts
Laurent
committed
b937e0c
Only fallback to default behavior when necessary
Laurent
committed
4d998cc

Commits on Feb 25, 2022

Replace HashSet with Vector
Laurent
committed
aa272f4
Remove unordered-containers dependency
Laurent
committed
3329f4a
Update cabal file
Laurent
committed
4fbf8d1

Commits on Mar 2, 2022

Merge branch 'master' into laurent/optimizations
laurenthuberdeau
authored
230d68e