Looking for existing University courses that use #Dafny, #Coq, #Agda, #Idris et cetera for software verification, computer-aided verification, et cetera.... Asking for a Friend...we need context for proposing a course...
I am super glad to announce the release of #fs2-data v1.9.0 with an entirely new website and the introduction of JSON queries! :tada: This has been a long time since I started working on this feature, which is now mature enough to be released as experimental in the wild. I hope you will enjoy it! https://github.com/gnieh/fs2-data/releases/tag/v1.9.0