stefansteve1999@tg says to YSITD
idris, coq, haskell:
at Wed, Apr 3, 2019 11:01 PM