Agatha

Uma linguagem para Logica de primeira ordem

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, January 14th, 2020 7:36:17pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/joseildofilho/Agatha-Lang.git05e113e846ecda5f8451141e93e517ab14eec8f9
Last checkedSaturday, March 28th, 2020 1:05:18pm (UTC)
Last editedTuesday, January 14th, 2020 7:36:17pm (UTC)
Date addedFriday, December 27th, 2019 9:02:04pm (UTC)
Modules
  • agatha/main.rkt
  • agatha/parser-test.rkt
  • agatha/boolean-evaluator.rkt
  • agatha/agatha-test3.rkt
  • agatha/scribblings/agatha.scrbl
  • agatha/parser-boolean-prefix.rkt
  • agatha/parser.rkt
  • agatha/reader.rkt
  • agatha/symbolize.rkt
  • agatha/utils.rkt
  • agatha/tokenizer.rkt
  • agatha/agatha-test2.rkt
  • agatha/expander.rkt
  • agatha/agatha-test1.rkt
  • agatha/parser-boolean-parentesis.rkt