Tag: Library
- haskell
- serokell
- interview
- machine learning
- elixir
- introduction
- ai
- eDSL
- mathematics
- remote work
- resource guide
- blockchain
- formal verification
- agda
- computer science
- dependent types
- history
- learn haskell
- open source projects
- smart contracts
- tezos
- algorithms
- best conferences
- elixir in production
- haskell in production
- ml algorithms
- modal logic
- physics
- software development
- ton
- top events
- top haskell programs
- topology
- typescript
- agda vs haskell
- avl
- best-practices
- cardano
- conferences
- cryptography
- dependent haskell
- dlt
- erlang
- functional programming
- functional programming language
- ghc
- github
- gitlab
- haskell software
- hobby
- language encoding
- libra
- library
- michelson
- ml
- morley
- mtl
- nix
- outsourcing
- outsourcing software development
- quantum computers
- random numbers
- rust
- serokellchat
- signal processing
- tagless final
- teaching haskell
- theorem proving
- top projects
- turing degree
- web summit
- Less
Haskell with UTF-8
To make sure your code handles Unicode in the best way possible, read this article about a new Haskell library called with-utf8.
Article by Kirill Elagin
Wednesday, March 11th, 2020
- haskell
- serokell
- interview
- machine learning
- elixir
- introduction
- ai
- eDSL
- mathematics
- remote work
- resource guide
- blockchain
- formal verification
- agda
- computer science
- dependent types
- history
- learn haskell
- open source projects
- smart contracts
- tezos
- algorithms
- best conferences
- elixir in production
- haskell in production
- ml algorithms
- modal logic
- physics
- software development
- ton
- top events
- top haskell programs
- topology
- typescript
- agda vs haskell
- avl
- best-practices
- cardano
- conferences
- cryptography
- dependent haskell
- dlt
- erlang
- functional programming
- functional programming language
- ghc
- github
- gitlab
- haskell software
- hobby
- language encoding
- libra
- library
- michelson
- ml
- morley
- mtl
- nix
- outsourcing
- outsourcing software development
- quantum computers
- random numbers
- rust
- serokellchat
- signal processing
- tagless final
- teaching haskell
- theorem proving
- top projects
- turing degree
- web summit
- Less