GitHub - densh/typelog: Proof-of-concept Prolog compiler that compiles down to Scala implicits.

Skip to content

Navigation Menu

Sign in

Appearance settings

This repository was archived by the owner on Apr 19, 2020. It is now read-only.

Typelog: type-level programming for mere mortals