Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-05-05 | r/4011 feat(users/Profpatsch/importDhall): print dhall command | Profpatsch | 1 | -4/+8 |
2022-05-05 | r/4008 feat(users/Profpatsch/importDhall): print type annotation | Profpatsch | 1 | -4/+15 |
2022-02-28 | r/3876 feat(users/Profpatsch): add importDhall | Profpatsch | 1 | -0/+78 |