Skip to content

If else simplification#22

Merged
junyuan-chen merged 3 commits intojunyuan-chen:mainfrom jkrumbiegel:jk/ifelse-simplificationJan 17, 2023

Commits

Commits on Jan 4, 2023

Commits on Jan 17, 2023