Matheo Tripnaux's Second Brain
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Constructor
Constructor
Dec 29, 2025
1 min read
Function
or
method
that creates a new
instance
of a
type
or
class
.
Graph View
Backlinks
Higher Inductive Types