Profpatsch
|
6d34cf1038
|
chore(*): <nixpkgs> -> ./nixpkgs.nix
This way we don’t get any dumb system-related bugs/bugreports.
|
2020-11-30 22:50:55 +01:00 |
sternenseemann
|
aecc50fbc0
|
README: fix spelling mistake
|
2020-08-05 16:57:33 +02:00 |
|
Profpatsch
|
b8267b1988
|
update 1.31
Use the `fetch.py` script to update to dhall 1.31 and add some
instructions on how to do it.
|
2020-03-29 22:29:08 +02:00 |
justinwoo
|
e910fa2c9d
|
use github actions workflow
|
2019-08-18 15:55:18 +03:00 |
|
Justin Woo
|
fc8fb7af3b
|
Update README.md
|
2018-12-09 14:14:07 +02:00 |
|
justinwoo
|
10249d9fa8
|
update exports and test
|
2018-12-08 14:57:48 +02:00 |
|
Justin Woo
|
36bbf92c36
|
Update README.md
|
2018-12-08 14:44:09 +02:00 |
|
justinwoo
|
e8559110ff
|
update README
|
2018-12-08 14:43:05 +02:00 |
|
justinwoo
|
87406a7640
|
init
|
2018-12-08 14:37:12 +02:00 |