Polarity
Install
Publications
Docs
FAQ
Github
Polarity
A research language focused on dependent data and codata types
GitHub
Discord
Try Polarity
Select an example...
boolrep
neg_inverse
vect
stlc_bool
colist
imports
ParigotEncoding
functor
pi
motive
arith
ChurchEncoding
gadt
absurd
Webserver
classical_logic
buffer
eq
covect
evalorder
FuStumpEncoding
local_matches
strong_existentials
example
stream
ScottEncoding
setoid
implicit_list
refinement
typedhole
simple
comatches
stlc
ExpressionsCaseStudy