| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Bool.agda | 949 | logplain |
| -rw-r--r-- | BooleanAlgebra.agda | 765 | logplain |
| -rw-r--r-- | Char.agda | 730 | logplain |
| -rw-r--r-- | Eq.agda | 1545 | logplain |
| -rw-r--r-- | Functor.agda | 1477 | logplain |
| -rw-r--r-- | List.agda | 676 | logplain |
| -rw-r--r-- | Maybe.agda | 793 | logplain |
| -rw-r--r-- | Monad.agda | 1281 | logplain |
| -rw-r--r-- | Number.agda | 2261 | logplain |
| -rw-r--r-- | Product.agda | 755 | logplain |
| -rw-r--r-- | String.agda | 787 | logplain |
| -rw-r--r-- | Sum.agda | 772 | logplain |
 |
index : B | |
| a new way to look at the Agda standard library |
| aboutsummaryrefslogtreecommitdiff |