Agatha

Uma linguagem para Logica de primeira ordem

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedThursday, May 11th, 2023 1:43:44pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/joseildofilho/Agatha-Lang.gitde9e340b97dbb22677dc3ba74d6ec8826bf9af90
Last checkedMonday, December 2nd, 2024 4:44:23pm (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.rkt
  • agatha/agatha-test1.rkt
  • agatha/agatha-test4.rkt
  • agatha/parser-test.rkt
  • agatha/agatha-test3.rkt
  • agatha/symbolize.rkt
  • agatha/expander.rkt
  • agatha/agatha-test2.rkt
  • agatha/utils.rkt
  • agatha/scribblings/agatha.scrbl
  • agatha/boolean-evaluator.rkt
  • agatha/reader.rkt
  • agatha/parser-boolean-prefix.rkt
  • agatha/parser-boolean-parentesis.rkt
  • agatha/tokenizer.rkt