Agatha

Uma linguagem para Logica de primeira ordem

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSunday, April 12th, 2020 10:05:19pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/joseildofilho/Agatha-Lang.gitde9e340b97dbb22677dc3ba74d6ec8826bf9af90
Last checkedThursday, October 1st, 2020 12:10:31am (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/agatha-test4.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