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 printing of backticked expressions #3250

Closed andrevidela closed 6 months ago

andrevidela commented 6 months ago

Description

fix #3249