Research

Repos for university and research stuff.

katrin
0 0

The vague idea of a modern dependently-typed programming language.

Updated 1 month ago

My solutions for the Advent of Code.

Updated 2 months ago

automata
0 0

Stuff for automata (DFA, NFA, ε-NFA) written in Idris.

Updated 5 months ago

People