Idris library for modelling filesystem images and test programs using DepTyCheck, similar to fat32-model.
DepTyCheck/fs-model
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Idris library for modelling filesystem images and test programs using DepTyCheck, similar to fat32-model.