Commit Graph

3 Commits

Author SHA1 Message Date
Greg Shuflin
2dc754c294 More choice impls 2022-10-16 20:16:03 -07:00
Greg Shuflin
4456734134 choice function 2022-10-16 20:07:45 -07:00
Greg Shuflin
eaafdaa777 choice module 2022-10-16 19:21:43 -07:00