idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-30 15:13:37 +03:00
Code Issues Projects Releases Wiki Activity
ea180d0721
Idris2/tests/idris2/pkg/pkg016/baz/Baz.idr

7 lines
45 B
Idris
Raw Normal View History

[ fix ] isue 2745 (#2747) * [ fix ] .ipkg install dir * [ test ] .ipkg install dir * [ doc ] update CHECKLIST * [ doc ] add explanation to pkg016 test * [ cleanup ] no need to clutter CHECKLIST
2022-11-02 15:01:19 +03:00
module Baz
export
baz : String
baz = "baz"
Reference in New Issue Copy Permalink