bravit/idris-cs-hse bravit/idris-cs-hse

  • Stars
    star
    46
  • Rank 594,682 (Top 13 %)
  • Language Idris
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bravit/idris-cs-hse
github

bravit

Reviews

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

Repository Details

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

More Repositories

1

hid-examples

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

tt-ghc-exercises

Haskell
28
star
3

cv

TeX
18
star
4

generate_parentheses

Rust
16
star
5

bob19-tutorial-types

Haskell
12
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