Edit resource "F* Tutorial" Accepted
Changes: 2
-
Add Software Foundations recommended by F* Tutorial
- Current
- recommended by
Resource to resource relation | v1 -
Add F* Tutorial recommends Type-driven development with Idris
- Current
- recommends
Resource to resource relation | v1