🔬Mastering Idris: Dimension Type-Checking

Description:

Delving into dependent types in Idris with a focus on dimension type checking in simulations💼

Try on GPT:

https://chat.openai.com/g/g-KpS4TjYAT-mastering-idris-dimension-type-checking

Same category GPTs