Actions: mkantor/please-lang-prototype
Actions
Showing runs from all workflows
222 workflow runs
222 workflow runs
@ifs referring to properties erased from final output
validate commit
#221:
Pull request #96
opened
by
mkantor
boolean.and and boolean.or
validate commit
#212:
Pull request #92
opened
by
mkantor
assume function to prelude (and ~ alias)
validate commit
#210:
Pull request #91
opened
by
mkantor
@check to the real type system
validate commit
#208:
Pull request #90
synchronize
by
mkantor
@check to the real type system
validate commit
#207:
Pull request #90
opened
by
mkantor
integer type name
validate commit
#201:
Pull request #88
opened
by
mkantor