SATySFi

SATySFi copied to clipboard

rename `Alist` to `SnocList`, `RevList`, or other well-known name

3

I sometimes see people (including me) are puzzled[^1] by the name of `src/alist.ml` (accumulated list? not association list!). How about changing its name to something more well-known? Candidates might be:...

leque

https://github.com/smorimoto/SATySFi/actions/runs/8638386054

smorimoto

Related: https://twitter.com/mr_konn/status/1797663737635332220

gfngfn

Related: https://satysfi.slack.com/archives/C023VT695D1/p1715971207543959

gfngfn