Download ada/heap_model.gpr from Snapkitty/unlambda-idris-spark: direct link, hf CLI and curl.
- Browser
- Download file 464 Bytes
-
https://huggingface.co/Snapkitty/unlambda-idris-spark/resolve/main/ada/heap_model.gpr
- Command line
-
hf download hf://Snapkitty/unlambda-idris-spark/ada/heap_model.gpr
-
curl -L -o heap_model.gpr https://huggingface.co/Snapkitty/unlambda-idris-spark/resolve/main/ada/heap_model.gpr
464 Bytes
| -- Copyright (c) 2026 Ahmad Ali Parr. All rights reserved. | |
| -- SPDX-License-Identifier: LicenseRef-Proprietary | |
| -- Public source visibility does not grant an open-source license. See LICENSE. | |
| project Heap_Model is | |
| for Source_Dirs use ("."); | |
| for Main use ("heap_demo.adb"); | |
| for Object_Dir use "../build/ada_obj"; | |
| for Exec_Dir use "../build"; | |
| package Compiler is | |
| for Switches ("Ada") use ("-gnat2022", "-gnata"); | |
| end Compiler; | |
| end Heap_Model; | |