• Indexed Information
  • Rank590
  • Users5
  • Last IndexedAn hour ago
Channel Topic
https://dhall-lang.org | Natural/fold 5 Text (λ(l : Text) → "choo ${l}") "dhall train" : Text

Channel logging for #dhall is not currently enabled