pl

Eli's PL course plugin

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, June 2nd, 2022 7:41:55am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://pl.barzilay.org/pl.zip7a92ac7da2432896656589e00c899631a2b043df
Last checkedSunday, July 3rd, 2022 4:11:59pm (UTC)
Last editedThursday, February 24th, 2022 9:54:25am (UTC)
Date addedThursday, February 24th, 2022 8:37:39am (UTC)
Modules
  • pl/this-collection.rkt
  • pl/tests/funs.rkt
  • pl/lang/dynamic.rkt
  • pl/client.rkt
  • pl/lang/datatype.rkt
  • pl/tests/kons-1.rkt
  • pl/tool.rkt
  • pl/tests/schlac-alt.rkt
  • pl/tests.rkt
  • pl/lang/16.rkt
  • pl/handin-multi.rkt
  • pl/tests/schlac.rkt
  • pl/lang/15.rkt
  • pl/tests/datatype-2.rkt
  • pl/tests/schlac-eval.rkt
  • pl/lang/17.rkt
  • pl/lang/02.rkt
  • pl/tests/dynamic-2.rkt
  • pl/lang/04.rkt
  • pl/tests/kons-2.rkt
  • pl/lang/05.rkt
  • pl/lang/lazy.rkt
  • pl/updater.rkt
  • pl/lang/schlac.rkt
  • pl/lang/11.rkt
  • pl/lang/main.rkt
  • pl/lang/09.rkt
  • pl/client-gui.rkt
  • pl/lang/08.rkt
  • pl/lang/07.rkt
  • pl/lang/utils.rkt
  • pl/lang/church.rkt
  • pl/lang/06.rkt
  • pl/lang/base.rkt
  • pl/pl.scrbl
  • pl/lang/10.rkt
  • pl/lang/14.rkt
  • pl/lang/12.rkt
  • pl/tests/meta.rkt
  • pl/lang/03.rkt
  • pl/lang/curry.rkt
  • pl/lang/untyped.rkt
  • pl/pre-install.rkt
  • pl/main.rkt
  • pl/tests/datatype-3.rkt
  • pl/lang/13.rkt
  • pl/tests/datatype-1.rkt
  • pl/tests/brancher.rkt
  • pl/tests/dynamic-1.rkt
  • pl/lang/broken.rkt
  • pl/lang/reader.rkt
  • pl/lang/types.rkt
  • pl/tests/datatype-0.rkt