bravit/bob19-tutorial-types bravit/bob19-tutorial-types

  • Stars
    star
    12
  • Rank 1,549,486 (Top 32 %)
  • Language
    Haskell
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bravit/bob19-tutorial-types
github

bravit

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

hid-examples

Examples to accompany the book "Haskell in Depth"
Haskell
237
star
2

idris-cs-hse

«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
Idris
46
star
3

tt-ghc-exercises

Haskell
28
star
4

cv

TeX
18
star
5

generate_parentheses

Rust
16
star
6

csd-utwente

Certified Software Development with Dependent Types in Idris
Idris
8
star
7

unescaping-print

Haskell
6
star
8

containers-mini

Haskell
4
star
9

haskell-intro-2024

Haskell
2
star
10

fowler-refactoring-chap1

Kotlin
1
star
11

monadic-rpc

Haskell library for monadic structuring of distributed computations
Haskell
1
star
12

fowler-refactoring2-example

Kotlin
1
star