Hiya @edwinbrady! Would you by any chance have good resources on formal verification of computer programs for a beginner? Would love to talk more about Idris and verification in DMs!
Thanks in advance :)
-
-
Thank you! I'm a second year computer science student with a years worth of industrial experience in Scala. Ill have a look at the link! Thanks again :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.