Explore projects

Yet another completion tool written in Haskell.

Yet another LPO/KBO-based termination tool written in Haskell.

Contains experiments for the out-of-language attribution task

Migrated to https://github.com/W4RH4WK/crap

https://lfuonline.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=19S&lvnr_id_in=703602

Master Thesis Project

Yet another maximal completion tool written in Haskell.