Haskell 8b Defining Typeclasses

Accompanies Miran Lipovaca's "Learn You a

Haskell 8b Defining typeclasses

In this video we explore

A look at kinds, the "type of a type", and how you can ask GHCi to interrogate your code to find it. This video is a clip from a longer ...

An exploration into

Henning Thielemann, Expressive Linear Algebra in

In this tutorial we dive into the type system of

In today's

Accompanies Miran Lipovaca's "Learn You a

We cover types, type variables, and

Boston

In this (re-edited and republished) episode we'll discuss types and

We implement functions as sets of pairs. All code can be found in the course git repository ...

An introduction to the basic idea of

Github repository: https://github.com/michele-nuzzi/plutus-oriented-