Casting from strings and/or inferring datatypes?
Dependent Types
Next meeting on Monday
Next meeting September 13th
Next meeting today
question about N3 inference
Semi-explicit quantification
回复: question about N3 inference
Last message date: Friday, 24 September 2021 16:28:36 UTC