about summary refs log tree commit diff
path: root/users/Profpatsch/importDhall.nix (follow)
AgeCommit message (Expand)AuthorFilesLines
2022-05-05 r/4011 feat(users/Profpatsch/importDhall): print dhall commandProfpatsch1-4/+8
2022-05-05 r/4008 feat(users/Profpatsch/importDhall): print type annotationProfpatsch1-4/+15
2022-02-28 r/3876 feat(users/Profpatsch): add importDhallProfpatsch1-0/+78