fishy15/minifrey-types

Stars
1
Language
Haskell
Created almost 2 years ago
Updated almost 2 years ago

fishy15/minifrey-types

fishy15

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

Implements a type checker for a subset of https://www.cs.cornell.edu/andru/papers/gallifrey-types/.

competitive_programming

competitive programming folder

java-game-project

A java game I made in 2018 for class.

helloworld-maven

A Hello World program made with Maven.