Caledon 2.0: A dependently typed metaprogramming logic languagegithub.com/mmirman2 pointsfavabean513 years ago