PiotrJander/oplss-staton PiotrJander/oplss-staton

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
PiotrJander/oplss-staton
github

PiotrJander

Reviews

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

Repository Details

Code accompanying Sam Staton's lecture at OPLSS 2019: https://www.cs.uoregon.edu/research/summerschool/summer19/topics.php

More Repositories

1

chess

Java
2
star
2

thesis

Agda
1
star