https://github.com/aiken-lang/prelude

The Aiken Prelude, enabled by default.
https://github.com/aiken-lang/prelude

aiken

Last synced: about 2 months ago
JSON representation

The Aiken Prelude, enabled by default.

• Host: GitHub
• URL: https://github.com/aiken-lang/prelude
• Owner: aiken-lang
• Created: 2022-12-29T17:09:26.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-08-23T08:47:51.000Z (4 months ago)
• Last Synced: 2024-08-23T09:52:40.891Z (4 months ago)
• Topics: aiken
• Homepage: https://aiken-lang.github.io/prelude
• Size: 22.5 KB
• Stars: 3
• Watchers: 2
• Forks: 2
• Open Issues: 3
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Aiken Prelude

This repository contains a representation of the Aiken prelude. The prelude is composed of two modules:

#### `aiken`

This constitutes all the types and basic functions that are globally available in Aiken. **This module isn't meant to be imported** as a dependency (for it is already imported and available by default), but exists for documentation purpose.

#### `aiken/builtin`

This represents low-level builtins recognized by the Plutus virtual machine. Most builtins have an equivalent in Aiken's syntax, or are mapped to higher level functions in the [standard library](https://aiken-lang.github.io/stdlib/). This module exists mainly for documentation completeness but you shouldn't probably use it unless you know what you're doing. It is not imported by default but it globally available for import if needed.

---

If you found this by chance, we recommend looking only at the [rendered documentation 📘](https://aiken-lang.github.io/prelude) or jump right into [Aiken's user manual](https://aiken-lang.org/).