wespl/haskell-testing-lecture wespl/haskell-testing-lecture

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wespl/haskell-testing-lecture
github

wespl

Reviews

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

Repository Details

To be used for the lecture about testing in Haskell

More Repositories

1

logical-relations

Using logical relations to prove strong normalization and semantic type safety for STLC
Agda
1
star
2

template-haskell-lecture

To be used for the lecture about metaprogramming in Haskell
Haskell
1
star