https://futureofcoding.org/ logo
#devlog-together
Title
# devlog-together
j

Jason Morris

03/12/2023, 2:54 PM
Managed to release v1.5.0-alpha of Blawx this week, with better defeasibility features including defeated defeaters, and applicability checking. Only one major feature left to add to the language (that I am aware of): temporal reasoning.