j
k
j a
j l
On Thu, Jan 26, 2023 at 6:35 PM Henning Thielemann wrote:
Each of this is an occasion to think about more appropriate types, such that only valid values can be represented.
...and wish for dependent types!
Back to the thread
Back to the list
