diff options
| author | Nadrieril Feneanar | 2019-12-21 21:41:00 +0000 |
|---|---|---|
| committer | GitHub | 2019-12-21 21:41:00 +0000 |
| commit | ce74f996808ae84b4967040f3441e1bbba31f506 (patch) | |
| tree | a4e4dca177ed950735a71889188d2e564d8bd51c /dhall/src/semantics/phase | |
| parent | fa6bf7e0c8da8172dd7905ba38b72b3a0c74a1ba (diff) | |
| parent | a1342e271cc2dbf2ef93b2a2f7de0951668289ad (diff) | |
Merge pull request #121 from Nadrieril/Nadrieril-readme
Update README.md
Diffstat (limited to 'dhall/src/semantics/phase')
0 files changed, 0 insertions, 0 deletions