typed-otp-lib

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, May 16th, 2022 3:51:32pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/yilinwei/otp.git?path=typed-otp-lib5285e29483cbb19bbc832b2c67f524ade6ff00f9
Last checkedFriday, July 1st, 2022 6:20:21am (UTC)
Last editedThursday, February 11th, 2021 7:14:37pm (UTC)
Date addedThursday, February 11th, 2021 7:14:16pm (UTC)
Modules
  • otp/typed.rkt