• Indexed Information
  • Rank1,524
  • Users2
  • Last Indexed5 days, 15 hours ago
Channel Topic
https://dhall-lang.org | Natural/fold 5 Text (λ(l : Text) → "choo ${l}") "dhall train" : Text
Topic History (1)
Topic First Indexed
https://dhall-lang.org | Natural/fold 5 Text (λ(l : Text) → "choo ${l}") "dhall train" : Text 2 years, 5 months ago