effectfully comments

Results 463 comments of


                                            effectfully

Adapt Behavioural proof CC-CK to SOPs in the metatheory

@ramsay-t do you happen to know the status of this issue?

Adapt Behavioural proof CC-CK to SOPs in the metatheory

@ramsay-t do you happen to know the status of this issue?

Adapt Behavioural proof Red-CC to SOPs in the metatheory

@ramsay-t do you happen to know the status of this issue?

Adapt Behavioural proof Red-CC to SOPs in the metatheory

@ramsay-t any updates on this one?

Think about how to make the interfaces of the executables more consistent and useful

@bezirg what's the status of this issue?

Adapt Behavioural proof CK-CEK to SOPs in the metatheory

@ramsay-t do you happen to know the status of this issue?

Adapt Behavioural proof CK-CEK to SOPs in the metatheory

@ramsay-t thank you! If at any point you feel like this issue (and others of this kind) isn't worth keeping open, please close it.

Adapt Behavioural proof CK-CEK to SOPs in the metatheory

(sorry about accidental closing, got a bit too excited)

Adapt Behavioural proof CK-CEK to SOPs in the metatheory

@ramsay-t any updates on this one?

Casing on values of built-in types

> Since there are a finite number of built-in types, an alternative would be to add a new case for each: caseBool, caseInteger, caseData, etc. Is there some reason for...