8 commits

Author	SHA1	Message	Date
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