Questions Linux Laravel Mysql Ubuntu Git Menu

HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin

New posts in cubical-type-theory

Paths vs Equivalences in cubical agda for specific computational behavior

Feb 02, 2026

agda cubical-type-theory

Cubical Agda: how do I prove two things not equal

Oct 17, 2025

agda cubical-type-theory

Representing homomorphisms without writing all laws out

Sep 18, 2025

agda homotopy-type-theory cubical-type-theory homomorphism

Can I use inductive type families in Cubical Agda?

Dec 11, 2021

agda homotopy-type-theory cubical-type-theory

Defining non-unary functions in Cubical mode

Aug 31, 2022

agda topology cubical-type-theory homotopy-type-theory

How do I handle the higher inductive cases when defining functions on HITs?

Sep 29, 2020

agda homotopy-type-theory cubical-type-theory