Robert Kornacki

icon indicating a website link https://dcspark.io

icon company dcSpark icon location Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.

Results 1 comments of Robert Kornacki

Restoring from archive?

This is definitely possible to implement, and if it's something you are inspired to do then I will gladly merge any PRs moving in this direction.