search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 368 forks source link

[ fix ] issue 3266 #3267

Closed stefan-hoeck closed 2 months ago

stefan-hoeck commented 2 months ago

This fixes issue #3266 .