No description

ugent

This repository has been archived on 2023-11-05. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Tibo De Peuter 26f09bf1e8 Fix renderSelector ... Geen translatie incalculeren met het Gloss systeem		2022-10-16 00:00:11 +02:00
src	Fix renderSelector	2022-10-16 00:00:11 +02:00
.gitignore	Add .gitignore	2022-10-10 21:19:02 +02:00
memory.cabal	Initial commit	2022-10-10 21:10:20 +02:00
stack.yaml	Initial commit	2022-10-10 21:10:20 +02:00