#dhall

Network: OFTC

Modes:

Last Seen: 6 minutes ago

Topic: https://dhall-lang.org | Natural/fold 5 Text (λ(l : Text) → "choo ${l}") "dhall train" : Text

#1,043

Rank

3

Users

Topic History

Viewing 1 topic change

#dhall

May 18, 2023 2 years, 11 months ago

https://dhall-lang.org | Natural/fold 5 Text (λ(l : Text) → "choo ${l}") "dhall train" : Text