Ulf Norell
2f212bf556
Add --auto-inline and make it off by default
|
4 лет назад | |
|---|---|---|
| .. | ||
| DivModUtils.agda | 5 лет назад | |
| Imports.agda | 9 лет назад | |
| OldDivMod.agda | 4 лет назад | |
|
Ulf Norell
2f212bf556
Add --auto-inline and make it off by default
|
4 лет назад | |
|---|---|---|
| .. | ||
| DivModUtils.agda | 5 лет назад | |
| Imports.agda | 9 лет назад | |
| OldDivMod.agda | 4 лет назад | |