Commit Graph

2 Commits

Author SHA1 Message Date
7f8e7923a6 Update Git URLs 2019-09-01 16:00:12 +02:00
95e3b6a62e Add Dhall preludes 2019-08-30 13:10:45 +02:00