Identity GS

Welcome to the Identity gaming channel! Here we talk about Programming, Computer science and video games. Please enjoy your stay and I hope you will learn something new!

MSP101 - Monadic programs as container morphisms

MSP101 - Monadic programs as container morphisms
Boilerplate-free servers using lenses (MSP 101)

Boilerplate-free servers using lenses (MSP 101)
Dependent Lenses for servers (SPLS 2021)

Dependent Lenses for servers (SPLS 2021)
Install Idris2 on Windows using WSL - Tutorial

Install Idris2 on Windows using WSL - Tutorial
Optics for servers

Optics for servers
PLUG talk - linear types and runtime performance

PLUG talk - linear types and runtime performance