Sign in

Repository Index

47,133 repositories indexed

Tag: Lists and learning
Tag
Filters

Filters

Clear all filters

1–6 of 6 · Most stars

A collection of resources for learning type theory and type theory adjacent fields.

Simplify comparison of Elixir data structures by ensuring fields are present but ignoring their values.