Closed mferrera closed 1 year ago
Not all users store probability distributions with a .dist file extension, but enough do and it'd be good to have support for it and encourage its usage. It is a simple 3-4 column line-by-line configuration file.
.dist
Not all users store probability distributions with a
.distfile extension, but enough do and it'd be good to have support for it and encourage its usage. It is a simple 3-4 column line-by-line configuration file.