X (Social) X Social
GitHub GitHub
Matrix Room
Linktree Linktree

Blog
Docs
FAQ

Getting Started

Introduction

Concepts

Embedded DSL (EDSL) in Haskell
Algebraic Data Types (ADT)
Data Versioning

Help

Frequently Asked Questions

Advanced Topics

YulDSL - A Category-theoretical DSL
Using Linear Types in Yolc

On this page

Using Linear Types in Yolc

From linear lambda to data versioning.

(🚧 COMING SOON...)

← Frequently Asked Questions

Powered by Zola, and AdiDoks