idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.5k stars 375 forks source link

fix: typos in "Named Implementations" #3296

Closed jgarte closed 3 months ago

jgarte commented 3 months ago

Description

This fixes a typo in the docs.