Ecosyste.ms: Timeline
Browse the timeline of events for every public repo on GitHub. Data updated hourly from GH Archive.
m4lvin opened an issue on jrclogic/SMCDEL
document which functions are lazy
Noteworthy examples: - `boolBddOf (Conj [Bot, undefined]) == Bot`
m4lvin created a comment on an issue on jrclogic/SMCDEL
Done since c46d0edc1b667d7ce0dca77cceca7076650bbd19.
m4lvin closed an issue on jrclogic/SMCDEL
add global modality
To be added in `SMCDEL.Language` and then in all the semantics in `Symbolic.*` and `Explicit.*`.