mbenke/jnp3-haskell mbenke/jnp3-haskell

  • Stars
    star
    31
  • Rank 820,005 (Top 17 %)
  • Language
    Haskell
  • Created about 7 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mbenke/jnp3-haskell
github

mbenke

Reviews

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

Repository Details

Materiały do zajęć JNP3 (grupa Haskell) na MIMUW

More Repositories

1

labjpp

Scenariusze na laboratoria JPP na wydziale MIM UW.
Prolog
13
star
2

zpf2013

Zaawansowane Programowanie Funkcyjne 2013
Haskell
7
star
3

zpf2012

Zaawansowane Programowanie Funkcyjne, MIMUW 2011
Haskell
6
star
4

zpf2020

Advanced Functional Programming course materials, MIMUW 2019/20
HTML
4
star
5

zpf2022

Advanced Functional Programming course 2022
HTML
3
star
6

zpf2019

Advanced Functional Programming course materials, MIMUW 2018/2019
HTML
3
star
7

vera

Exploring prover ideas for intuitionistic logic
Haskell
3
star
8

lucretia

Haskell
2
star
9

zpf2016

Zaawansowane Programowanie Funkcyjne 2016
HTML
2
star
10

labmrjp

Materiały na laboratorium MRJP na MIMUW
Haskell
2
star
11

zpf2018

HTML
2
star
12

zpf2021

Advanced Functional Programming course materials, MIMUW 2020/21
HTML
2
star
13

zpf2017

Zaawansowane Programowanie Funkcyjne MIMUW 2016/17
HTML
1
star
14

toy-interpreters

Some toy interpreters in Haskell
Haskell
1
star
15

www2018

Python
1
star
16

hasmin

Haskell
1
star
17

hm-typecheck

Hindley-Milner style type checking experiments
Haskell
1
star