GitHub repository: kyouko-taiga/scala-existentials
Primary language: Jupyter Notebook
Description: Test project for testing Scala existentials