minze

minze pushed to main at minze/topics_compiler

2026-06-03 20:18:54 +02:00

d61a017c19 almost

minze pushed to main at minze/topics_compiler

2026-06-03 16:25:56 +02:00

691d669642 yeyeye

minze pushed to main at minze/topics_compiler

2026-06-02 22:57:39 +02:00

e7597f0f1d slide init

minze pushed to main at minze/topics_compiler

2026-06-01 22:21:24 +02:00

4792bf29fb added slides

minze pushed to main at minze/topics_compiler

2026-05-27 23:47:26 +02:00

51da75c7db final 3

minze pushed to main at minze/topics_compiler

2026-05-27 23:42:17 +02:00

8b9e531942 final 2

minze pushed to main at minze/topics_compiler

2026-05-27 23:40:22 +02:00

fc8cb02b72 final

minze pushed to main at minze/topics_compiler

2026-05-27 22:27:51 +02:00

a08721cc00 3/5

minze pushed to main at minze/topics_compiler

2026-05-27 18:07:50 +02:00

a70e5f172a kickoff

minze pushed to main at minze/topics_compiler

2026-05-27 18:06:11 +02:00

575c6ec470 initial commit

minze created branch main in minze/topics_compiler

2026-05-27 18:06:11 +02:00

minze created repository minze/topics_compiler

2026-05-27 18:05:41 +02:00

minze pushed to main at minze/univTypes

2026-04-25 22:24:33 +02:00

201fe7942b Make β-λ more generic (Argument can now be any type T instead of `Setn L)

minze pushed to main at minze/univTypes

2026-04-25 22:04:17 +02:00

e8ee5b200c Some definitions and adjusted proofs

minze pushed to main at minze/univTypes

2026-04-21 20:44:19 +02:00

5cbf679c0c small work

minze pushed to main at minze/univTypes

2026-04-17 19:31:47 +02:00

077d91a485 changes

minze renamed repository from UniverseLevelTypes to minze/univTypes

2026-04-06 18:52:14 +02:00

minze pushed to main at minze/univTypes

2026-04-01 18:35:01 +02:00

f9e4b4d9aa initial commit

minze created repository minze/univTypes

2026-04-01 18:19:35 +02:00