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 "Expressions" #3297

Closed jgarte closed 3 months ago

jgarte commented 3 months ago

Description

This fixes a typo.

Discussed with @buzden over the Discord channel.