Ulf Norell
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
8 سال پیش | |
|---|---|---|
| .. | ||
| Not-named-according-to-the-Haskell-lexical-syntax.agda | 8 سال پیش | |
| main.agda | 14 سال پیش | |
|
Ulf Norell
b56b3965a6
[ backend ] updated compiler pragmas in test cases
|
8 سال پیش | |
|---|---|---|
| .. | ||
| Not-named-according-to-the-Haskell-lexical-syntax.agda | 8 سال پیش | |
| main.agda | 14 سال پیش | |