Mode | Name | Size | |
---|---|---|---|
d--------- | agda-categories | 39 | logplain |
d--------- | agda-prelude | 39 | logplain |
d--------- | cubical | 39 | logplain |
d--------- | generic | 39 | logplain |
d--------- | iowa-stdlib | 39 | logplain |
d--------- | standard-library | 39 | logplain |
index : libkookie | ||
🍍 Things that make my computers more sad than other people's computers | Katharina Fey |
aboutsummaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
d--------- | agda-categories | 39 | logplain |
d--------- | agda-prelude | 39 | logplain |
d--------- | cubical | 39 | logplain |
d--------- | generic | 39 | logplain |
d--------- | iowa-stdlib | 39 | logplain |
d--------- | standard-library | 39 | logplain |