prism/tests/languages/idris
Michael Schmidt 15cb3b78ff
Idris: Fixed import statements (#3115)
2021-10-05 21:19:53 +02:00
..
char_feature.test Added support for Idris (#2755) 2021-02-23 12:44:32 +01:00
comment_feature.test Added support for Idris (#2755) 2021-02-23 12:44:32 +01:00
constant_feature.test Improved Haskell and PureScript (#3020) 2021-07-30 21:37:24 +02:00
hvariable_feature.test Improved Haskell and PureScript (#3020) 2021-07-30 21:37:24 +02:00
import_statement_feature.test Idris: Fixed import statements (#3115) 2021-10-05 21:19:53 +02:00
keyword_feature.test Idris: Fixed import statements (#3115) 2021-10-05 21:19:53 +02:00
number_feature.test Added support for Idris (#2755) 2021-02-23 12:44:32 +01:00
operator_feature.test Improved Haskell and PureScript (#3020) 2021-07-30 21:37:24 +02:00
string_feature.test Added support for Idris (#2755) 2021-02-23 12:44:32 +01:00