Allow more explicit parameter types

latte-central / latte-kernel

The (very) small kernel of the LaTTe proof assistant

MIT License

11 stars 4 forks source link

Open fredokun opened 3 years ago

fredokun commented 3 years ago

The initial implicit parameter handling only support parameters of type :type. It would be useful to extend to other types as well.