search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Syntax/Checker: support typeclass arguments #129

Closed mtzguido closed 4 months ago

mtzguido commented 4 months ago

While the plan is to just move to F* binders, this patch was pretty easy and already allows us to use typeclass in Pulse code.

Fixes https://github.com/FStarLang/pulse/issues/34