search

jsiek / deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
59 stars 3 forks source link

Change how command lines arguments get parsed #10

Closed Temperz87 closed 1 month ago

Temperz87 commented 1 month ago

Move the behavior associated with parsing and checking a file into a function named "deduce_file" Make file to parse not expected to be the first argument passed in Add TODO message for when multiple files are passed in