Eta

457 posts

Eta

Eta

@eta_lang

Official twitter handle for Eta programming language

Katılım Aralık 2016
19 Takip Edilen1.7K Takipçiler
Eta
Eta@eta_lang·
@drwjharvey Hi William, it would be great if you could file an issue on the setup for which you observed the slow compile times and we'll work towards improving it. Thank you!
English
0
0
2
0
Eta retweetledi
Javier Neira
Javier Neira@jneira·
@dhall_lang is the first haskell package i am aware of with @eta_lang support! #L338" target="_blank" rel="nofollow noopener">github.com/dhall-lang/dha…
Bilbao, Spain 🇪🇸 English
1
2
10
0
Eta retweetledi
Rahul Muttineni
Rahul Muttineni@rahulmutt·
new-build is the best thing that has happened to cabal. We went ahead and made it default in @eta_lang ("etlas build = cabal new-build") because it was just so darn useful and simplified the UX.
HVR@hvrgnu

The recent #reddit thread shows that `cabal new/v2-build` with or w/o #Nix is becoming quite popular among professional #Haskell practitioners due to its flexibility re accommodating various dev workflows & support for various levels of "reproducibility"! old.reddit.com/r/haskell/comm…

English
0
10
24
0
Eta
Eta@eta_lang·
There's been a request to update the sbt-eta plugin. Please like this issue on GitHub if you want us to bump it up in our priority list. github.com/typelead/sbt-e…
English
0
5
13
0
Eta retweetledi
Javier Neira
Javier Neira@jneira·
My plan is implement dhall-xml in haskell and @eta_lang to tweak apache jena andmake it output dhall/rdf instead xml
English
0
1
9
0
Eta retweetledi
Jyothsna
Jyothsna@jyothsnasrin·
Work in progress of @eta_lang ‘s overloaded dot operator to make Java interaction more smooth.
Jyothsna tweet media
English
1
9
26
0