Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
prelude
functions.v
Find file
Blame
History
Permalink
make fn_cons universe polymorphic... otherwise, I run into universe errors :-/
· 71dd8f63
Ralf Jung
authored
Feb 22, 2016
71dd8f63