typed-otp-lib

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, February 23rd, 2021 10:08:54pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/yilinwei/otp.git?path=typed-otp-lib0757167eac914c45a756c090c4bdf5410080c145
Last checkedMonday, September 27th, 2021 3:38:43am (UTC)
Last editedThursday, February 11th, 2021 7:14:37pm (UTC)
Date addedThursday, February 11th, 2021 7:14:16pm (UTC)
Modules
  • otp/typed.rkt