ocharles / dhall-agdaLinks

Dhall, formalised in Agda
10Updated 5 years ago

Alternatives and similar repositories for dhall-agda

Users that are interested in dhall-agda are comparing it to the libraries listed below

Sorting: