Learning about SPARK dependency contracts

A user here on the forum @AJ-Ianozi maintains a simple installer, that handles a lot of the stuff needed to get started called GetAda (not to be confused with GetAdaNow), you can find it here: https://www.getada.dev/

Here’s one of the user’s release announcments: Getada Has Been Released

It’s a wrapper around the installation of Alire for clarification

1 Like