| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | haskell-Agda-executable: updated to version 2.3.0 | Peter Simons | 2011-11-25 |
| * | Last batch of Haskell expression updates. | Peter Simons | 2011-08-10 |
| * | Added Agda-executable. | Andres Löh | 2011-04-07 |
| index : nixlib | |
| Alyssa's collection of Nix expressions | Alyssa Ross |
| about summary refs log tree commit diff |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | haskell-Agda-executable: updated to version 2.3.0 | Peter Simons | 2011-11-25 |
| * | Last batch of Haskell expression updates. | Peter Simons | 2011-08-10 |
| * | Added Agda-executable. | Andres Löh | 2011-04-07 |