Skip to content
This repository has been archived by the owner on Aug 15, 2022. It is now read-only.

Issues: MxmUrw/Hata

15 Open 1 Closed
15 Open 1 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Introduce finitely tiny objects / finitely tiny generated categories concept elaboration
#16 opened Jan 27, 2022 by MxmUrw
Define (co-)limits via representable functors concept elaboration
#15 opened Jan 24, 2022 by MxmUrw
Unification performance agda typechecking performance
#14 opened Jan 23, 2022 by MxmUrw
Define (co-)limits via categories of cones concept elaboration
#13 opened Jan 23, 2022 by MxmUrw
Introduce atoms and atomic categories concept elaboration
#12 opened Jan 23, 2022 by MxmUrw
2 tasks
2
FCG (finite coproduct generated) needs to track property of generators
#11 opened Jan 22, 2022 by MxmUrw
1
Changes needed for unknown reason
#10 opened Jan 22, 2022 by MxmUrw
Cleanup different list related names Naming
#9 opened Jan 20, 2022 by MxmUrw
Naming scheme for coproduct properties Naming
#8 opened Jan 20, 2022 by MxmUrw
Rename ◈ to ≀◆≀ Naming
#7 opened Jan 20, 2022 by MxmUrw
Infrastructure for calling HM type inference from application
#6 opened Jan 14, 2022 by MxmUrw Hindley Milner typechecking compiles and runs
Show that ⧜𝐒𝐮𝐛𝐬𝐭 (𝒯⊔term Σ) has epi-mono factorization
#5 opened Jan 14, 2022 by MxmUrw
1 task
Hindley Milner typechecking compiles and runs
Abstract Hindley-Milner typechecking over the category of types
#4 opened Jan 14, 2022 by MxmUrw
2 of 3 tasks
Hindley Milner typechecking compiles and runs
Conflict between different implementation possibilities for coproducts in ⧜𝐒𝐮𝐛𝐬𝐭 T
#3 opened Jan 14, 2022 by MxmUrw
2 tasks
Hindley Milner typechecking compiles and runs
Allow for "part" headings in Report class MetaBuilder
#1 opened Dec 3, 2021 by MxmUrw
ProTip! Exclude everything labeled bug with -label:bug.