Closed PhilippMDoerner closed 1 year ago
Pretty much the headline. I noticed that we had no docs on how to add custom datatypes except for as a doc comment within norm, so I thought it might be sensible to add this to the nimibook docs.
Pretty much the headline. I noticed that we had no docs on how to add custom datatypes except for as a doc comment within norm, so I thought it might be sensible to add this to the nimibook docs.