search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
225 stars 62 forks source link

[asl][typing] Typing Reference Pre-Beta step 2 #841

Closed Roman-Manevich closed 5 months ago

Roman-Manevich commented 6 months ago

Work to get the ASL Typing Reference ready for another round of reviews on May 6th.