Nice! A bit back I did some experiments with converting some web code from TypeScript to Idris 2 and seemed to work out well. However, after some consideration I opted to not move forward with it just yet. The problem…
This has been amazingly helpful for managing my DGX Spark! Thank you for all your time and effort into this project!
Nice! A bit back I did some experiments with converting some web code from TypeScript to Idris 2 and seemed to work out well. However, after some consideration I opted to not move forward with it just yet. The problem…
This has been amazingly helpful for managing my DGX Spark! Thank you for all your time and effort into this project!