RFC / KEP-1: Taclet-generating transformers (lemmas instead of metaconstructs, built-in rules, etc.)#3893
Draft
unp1 wants to merge 20 commits into
Draft
RFC / KEP-1: Taclet-generating transformers (lemmas instead of metaconstructs, built-in rules, etc.)#3893unp1 wants to merge 20 commits into
unp1 wants to merge 20 commits into
background
wait
wait-all
cancel
parallel
Loading