EmberEdison - Codeberg.org

This website requires JavaScript.

EmberEdison

0 followers · 0 following

EmberEdison opened issue 1lab/mikan#131

2026年06月07日 13:10:59 +02:00

Future of Erasure and Compilation

EmberEdison opened issue 1lab/mikan#105

2026年05月19日 07:20:01 +02:00

Full support for Indexed Inductive-Recursive Types in Mikan

Block user

Please note that blocking a user has other effects, such as:

You will stop following each other and will not be able to follow each other.
This user will not be able to interact with the repositories you own, or the issues and comments you have created.
You will not be able to add each other as repository collaborators.