bakseter/thesis bakseter/thesis

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 2 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bakseter/thesis
github

bakseter

Reviews

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

Repository Details

My master thesis (and related code) in Logic at the University of Bergen.

More Repositories

1

echo-bedriftstur-frontend

Frontend for the website of echo's student trip to Oslo.
Elm
6
star
2

echo-bedriftstur-backend

Backend for the website of echo's student trip to Oslo.
Haskell
2
star
3

wrist-time

TypeScript
2
star
4

531

5/3/1 program
Kotlin
1
star
5

coq-fn

Haskell
1
star