Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
start [2023/01/30 15:28]
rajit [ACT language]
start [2023/03/30 16:30]
rajit [ACT library]
Line 18: Line 18:
  
   * [[stdlib:|Standard library]]   * [[stdlib:|Standard library]]
-  * [[lib:|Using the ACT library]]+  * [[http://avlsi.csl.yale.edu/act_docs/|Using the ACT library]]
  
 ===== Tools ===== ===== Tools =====