books search
books
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Strongly Typed Heterogeneous Collections
Kiselyov O.
hcons
typecast
hnil
haskell
hlist
heterogeneous
operations
key
hoccurs
record
records
breed
collections
instances
lists
ghci
programming
acm
hdeletemany
equality
typed
labels
hoccursmany
angus
constraints
tips
typeeq
query
database
extensible
hnat
proxy
dependencies
constraint
hsucc
define
dynamic
happend
hzero
heq
hfalse
implementation
library
proceedings
values
htrue
fail
function
naturals
processing
Language:
english
File:
PDF, 166 KB
Your tags:
0
/
0
english
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×