Commit Graph

3 Commits

Author SHA1 Message Date
Nathan Dwarshuis 442dbafaba FIX typo 2024-08-09 12:08:15 -04:00
Nathan Dwarshuis 7ed00c0987 ENH update dhall types 2024-08-09 10:45:11 -04:00
Nathan Dwarshuis 9fcdd1b5f1 ENH import dhall types dynamically 2023-02-14 00:37:50 -05:00