carian buku
buku
Menyokong
Log masuk ke
Log masuk ke
pengguna yang dibenarkan mempunyai akses kepada:
cadangan peribadi
Bot Telegram
sejarah muat turun
menghantar ke E-mel atau Kindle
pengurusan senarai buku
penyimpanan ke favorit
Peribadi
Permintaan buku
Penelitian
Z-Recommend
Senarai buku
Yang paling popular
Kategori
Penyertaan
Menyokong
Muat naik
Litera Library
Menyumbangkan buku kertas
Menambahkan buku-buku kertas
Search paper books
LITERA Point saya
Carian kata kunci
Main
Carian kata kunci
search
1
Thinking with types: type-level programming in Haskell
leanpub.com
Sandy Maguire
bool
key
function
eval
forall
constraint
ghci
haskell
import
printf
false
map
instances
error
openproduct
first
necessary
proxy
rank
constructors
functions
monad
existential
constructor
parameter
functor
polymorphism
ghc
definition
geq
generic
gschema
schema
sigma
signature
variables
hlist
fmap
implementation
isomorphism
indexed
consider
dynamic
implement
opensum
typeclass
dependent
expr
parameters
insert
Tahun:
2018
Bahasa:
english
Fail:
PDF, 1.22 MB
Tag anda:
0
/
0
english, 2018
2
Thinking with Types
Sandy Maguire
bool
key
function
eval
forall
constraint
ghci
haskell
import
printf
false
map
instances
error
openproduct
first
necessary
proxy
rank
constructors
functions
monad
existential
constructor
parameter
functor
polymorphism
ghc
definition
geq
generic
gschema
schema
sigma
signature
variables
hlist
fmap
implementation
isomorphism
indexed
consider
dynamic
implement
opensum
typeclass
dependent
expr
parameters
insert
Tahun:
2018
Bahasa:
english
Fail:
PDF, 4.69 MB
Tag anda:
0
/
0
english, 2018
3
Thinking with Types : Type-level Programming in Haskell
Leanpub
Sandy Maguire
bool
key
function
forall
eval
constraint
ghci
haskell
import
printf
map
instances
first
necessary
openproduct
rank
constructors
false
functions
existential
monad
proxy
constructor
parameter
error
polymorphism
definition
functor
geq
generic
gschema
sigma
variables
signature
ghc
implementation
isomorphism
fmap
typeclass
consider
dependent
indexed
schema
expr
implement
hlist
opensum
parameters
allows
exp
Tahun:
2018
Bahasa:
english
Fail:
PDF, 6.79 MB
Tag anda:
0
/
5.0
english, 2018
1
Ikuti
pautan ini
atau cari bot "@BotFather" dalam Telegram
2
Hantar arahan /newbot
3
Berikan nama untuk bot anda
4
Berikan nama pengguna untuk bot
5
Salin mesej terbaharu daripada BotFather dan tampalkannya di sini
×
×