isl-spec

Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck

Build status: ok passing tests valid license

README Download
Documentation
    Tags
      License
      Last updatedWednesday, January 25th, 2023 2:21:53am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/dbp/isl-spec.git#main2f847258a1506d07310c7833c8d7c012721c19f5
      Last checkedSunday, March 26th, 2023 12:27:22am (UTC)
      Last editedTuesday, December 13th, 2022 1:36:48am (UTC)
      Date addedMonday, December 12th, 2022 6:48:02pm (UTC)
      Modules
      • isl-spec/main.rkt